From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 27 Jul 2015 05:37:08 +0000 (-0700)
Subject: dump: Add an unsatisfying special case for titles.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f0267f895888cd8875ea8f36848d909da8b75119;p=pspp

dump: Add an unsatisfying special case for titles.
---

diff --git a/dump.c b/dump.c
index 140050d6cb..88ed52960a 100644
--- a/dump.c
+++ b/dump.c
@@ -246,6 +246,14 @@ dump_value_31(FILE *stream)
           else
             match_u32_assert (0);
 
+          /* This special case is really unsatisfying, but there are several
+             examples in the corpus, all from one SPV file. */
+          int save_pos = pos;
+          if (match_u32 (0x200) && match_u32(0x1000000) && match_u32(0)
+              && match_byte(0))
+            return;
+          pos = save_pos;
+
           int outer_end = pos + get_u32();
           int inner_end = pos + get_u32();
           match_u32_assert(0);