From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 22 Nov 2022 22:47:45 +0000 (-0800)
Subject: spv: ALlow an extra 01 at the end of X3.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=74f7e168fc9a87ff45730452df3627636c5e2f77;p=pspp

spv: ALlow an extra 01 at the end of X3.

One sample received in a user report had this present.
---

diff --git a/doc/dev/spv-file-format.texi b/doc/dev/spv-file-format.texi
index fb2c1eb164..299ee77fc8 100644
--- a/doc/dev/spv-file-format.texi
+++ b/doc/dev/spv-file-format.texi
@@ -1547,7 +1547,7 @@ X3 =>
     double[small] 01
     (string[dataset] string[datafile] i0 int32[date] i0)?
     Y2
-    (int32[x22] i0)?
+    (int32[x22] i0 01?)?
 @end example
 
 @code{small} is a small real number.  In the corpus, it overwhelmingly
diff --git a/src/output/spv/light-binary.grammar b/src/output/spv/light-binary.grammar
index 816968fdd0..74d5315758 100644
--- a/src/output/spv/light-binary.grammar
+++ b/src/output/spv/light-binary.grammar
@@ -150,7 +150,7 @@ X3 =>
    double[small] 01
    (string[dataset] string[datafile] i0 int32[date] i0)?
    Y2
-   (int32[x22] i0)?
+   (int32[x22] i0 01?)?
 
 Dimensions => int32[n-dims] Dimension*[n-dims]
 Dimension =>