Fix segfault when OT fragment is missing

kovzol · Jan 1, 2025 · d871aaf · d871aaf
1 parent 748a88f
commit d871aaf
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/statements/pbrst.y b/statements/pbrst.y
@@ -350,6 +350,7 @@ void add_parseinfo(char *s, ...) {
 #define MAX_PARSEINFO_LINE_LENGTH 16384
   char *line = malloc(MAX_PARSEINFO_LINE_LENGTH);
   vsprintf(line, s, ap); // create line
+  // printf("%s", line); // print line
   char *p1 = mystrcat(parseinfo, line); // store line
   free(parseinfo);
   parseinfo = p1;
@@ -777,6 +778,12 @@ void check_cover(double cover) {
         }
       }
     }
+    if (oimin == INT_MAX) {
+      add_parseinfo(" none\n");
+      add_parseinfo("%d,%d: error: OT headline %d %s %s has no corresponding fragments\n", yylineno, yycolumn,
+        i, books_s[i], infos_s[i]);
+      return; // avoid segfault later
+    }
     add_parseinfo(", union: [%d,%d]\n", oimin, oimax);
     // Compare headline interval with the union:
     int ot_headline_start = intervals[i][0];