makebi: add some sanity checks

Make sure the input file was exactly the size we'd expect it to be.

1 files changed, 9 insertions, 0 deletions

diff --git a/src/cforth/embed/makebi.c b/src/cforth/embed/makebi.c
index 0d853a2..521e63b 100755
--- a/src/cforth/embed/makebi.c
+++ b/src/cforth/embed/makebi.c
@@ -57,6 +57,10 @@ void bytes_to_file(char *filename, FILE *infile, int len)
     }
     for (i = 0; i < len; i++) {
         c = fgetc(infile);
+        if (c == EOF) {
+            fprintf(stderr, "Short read from %s\n", filename);
+            exit(1);
+        }
         fprintf(outfile, "0x%02x, ", c);
         if ((i&7) == 7) {
             fputc('\n', outfile);
@@ -91,6 +95,11 @@ int main(argc, argv)
     bytes_to_file("dict.h", infile, dictsize);
     bytes_to_file("userarea.h", infile, uasize);
 
+    if (fgetc(infile) != EOF) {
+        fprintf(stderr, "Extra data in the input file %s\n", dictionary_file);
+        exit(1);
+    }
+
     fclose(infile);
     return 0;
 }