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

Refine dump_fonts() slightly.
---

diff --git a/dump.c b/dump.c
index f1f212bd3d..f87c78b8ff 100644
--- a/dump.c
+++ b/dump.c
@@ -580,12 +580,20 @@ dump_fonts(void)
         match_byte_assert(0x50);
       if (!match_byte(0x41))
         match_byte_assert(0x51);
-      pos += 13;
+      if (!match_u32(0))
+        match_u32_assert(1);
+      match_byte_assert(0);
+      pos++;
+      pos++;
+      match_byte_assert(0);
+      match_byte_assert(0);
+      if (!match_u32(0) && !match_u32(1) && !match_u32(2))
+        match_u32_assert(3);
       printf ("%s, ", get_string());
       printf ("%s, ", get_string());
       match_u32_assert(0);
       match_u32_assert(0);
-      pos++;
+      match_byte_assert(0);
       get_u32();
       get_u32();
       get_u32();