From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 27 Jul 2015 05:41:52 +0000 (-0700)
Subject: dump: Allow 1 in place of 3 at offset 0x2 in SPV file.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ea7abc60a05144a4b0d22fc12f3fc508a98ad46e;p=pspp

dump: Allow 1 in place of 3 at offset 0x2 in SPV file.

This fixes "dump all" up to an including dump_title() in the whole expanded
corpus.
---

diff --git a/dump.c b/dump.c
index f9c315e580..2ac89bcab7 100644
--- a/dump.c
+++ b/dump.c
@@ -878,7 +878,13 @@ main(int argc, char *argv[])
           pos = 0;
           match_byte_assert(1);
           match_byte_assert(0);
-          match_u32_assert(3);
+
+          /* This might be a version number of some kind, because it seems to
+             only appear in an SPV file that also required its own weird
+             special cases in dump_value_31(). */
+          if (!match_u32(1))
+            match_u32_assert(3);
+
           match_byte_assert(1);
           if (!match_byte(0))
             match_byte_assert(1);