From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 7 Nov 2014 18:47:24 +0000 (-0800)
Subject: Refine dump_fonts().
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2dfbf598917e34a3fe99775a6d4bd5608f8ece84;p=pspp

Refine dump_fonts().
---

diff --git a/dump.c b/dump.c
index b21de36fea..f1971871c5 100644
--- a/dump.c
+++ b/dump.c
@@ -597,11 +597,26 @@ dump_fonts(void)
       match_u32_assert(0);
       match_u32_assert(0);
       match_byte_assert(0);
+
+      /* These seem unlikely to be correct too. */
+      if (i != 3)
+        {
+          match_u32_assert(8);
+          if (!match_u32(10))
+            match_u32_assert(11);
+          match_u32_assert(1);
+        }
+      else
+        {
+          get_u32();
+          if (!match_u32(-1) && !match_u32(8))
+            match_u32_assert(24);
+          if (!match_u32(-1) && !match_u32(2))
+            match_u32_assert(3);
+        }
+
+      /* Who knows? Ranges from -1 to 8 with no obvious pattern. */
       get_u32();
-      get_u32();
-      get_u32();
-      get_u32();
-      putchar('\n');
     }
 
   match_u32_assert(240);