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

Refine dump_fonts().
---

diff --git a/dump.c b/dump.c
index 51f97dc21a..b21de36fea 100644
--- a/dump.c
+++ b/dump.c
@@ -585,10 +585,11 @@ dump_fonts(void)
       if (!match_u32(0))
         match_u32_assert(1);
       match_byte_assert(0);
-      pos++;
-      pos++;
-      match_byte_assert(0);
-      match_byte_assert(0);
+
+      /* OK, this seems really unlikely to be totally correct, but it matches my corpus... */
+      if (!match_u32(0) && !match_u32(2))
+        match_u32_assert(0xfaad);
+
       if (!match_u32(0) && !match_u32(1) && !match_u32(2))
         match_u32_assert(3);
       printf ("%s, ", get_string());