From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 2 Nov 2014 23:17:03 +0000 (-0800)
Subject: dump: treat >20 footnotes as an error (causes "regressions", of course)
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=23090df8c7b2e9fe742248eec5b2a24e68136b73;p=pspp

dump: treat >20 footnotes as an error (causes "regressions", of course)
---

diff --git a/dump.c b/dump.c
index cd4d362121..12db0c07b3 100644
--- a/dump.c
+++ b/dump.c
@@ -1524,7 +1524,11 @@ dump_title(void)
 
   int n_footnotes = get_u32();
   if (n_footnotes >= 20)
-    fprintf(stderr, "%d footnotes\n", n_footnotes);
+    {
+      fprintf(stderr, "%08x: %d footnotes\n", pos - 4, n_footnotes);
+      exit(1);
+    }
+
   printf("------\n%d footnotes\n", n_footnotes);
   if (n_footnotes < 20)
     {