From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 28 Jul 2015 02:52:06 +0000 (-0700)
Subject: dump: Fix dumping of entire contents for all v3.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=15d219ad6f0605a49d545134699bbef55cff260e;p=pspp

dump: Fix dumping of entire contents for all v3.
---

diff --git a/dump.c b/dump.c
index 697ace697b..0b7e82452b 100644
--- a/dump.c
+++ b/dump.c
@@ -330,10 +330,11 @@ dump_value_31(FILE *stream)
       else if (match_u32 (2))
         {
           fprintf(stream, "(special 2)");
+          if (!match_byte(0))
+            match_byte_assert(2);
           match_byte_assert(0);
-          match_byte_assert(0);
-          if (!match_u32 (2))
-            match_u32_assert(1);
+          if (!match_u32 (2) && !match_u32(1))
+            match_u32_assert(3);
           dump_nested_string(); /* Our corpus doesn't contain any examples with strings though. */
         }
       else