Fixed internal error that occured if user tried to load a lcd file they created for...

The fix involves a slight change to the library format but the code is done so that splint will still be able to read existed lcd files.

diff --git a/src/usymtab.c b/src/usymtab.c
index cc26ba8c53e161f5cbb6ff6b677ea87ff6235276..af4dbf5b9b7293b82366256db4fcc09b1bd88f90 100644 (file)
--- a/src/usymtab.c
+++ b/src/usymtab.c
@@ -1801,6 +1801,17 @@ void usymtab_dump (FILE *fout)
   lastekind = KINVALID;
 
   fprintf(fout, ";; Library constraints\n");
+
+ /*drl July 27 added this so that libraries without
+    buffer constraints would be handled correctly.
+    I'm trying to do this without breaking older libraries.
+
+    Splint should still be able to handle libraries without this message.
+ */
+
+  
+  fprintf(fout, "start_Buffer_Constraints\n");
+
   for (i = 0; i < utab->nentries; i++)
     {
       uentry thisentry = utab->entries[i];
@@ -1992,6 +2003,16 @@ void usymtab_load (FILE *f)
     {
       ; /* ignore ;-comments */
     }
+
+  /*drl July 27 added this so that libraries without
+    buffer constraints would be handled correctly.
+    I'm trying to do this without breaking older libraries*/
+  
+  /*check for "optional" start buffer constraints message*/
+  if (cstring_compareLit(s, "start_Buffer_Constraints") )
+    {
+      fgets (s, MAX_DUMP_LINE_LENGTH, f);
+    }
   
   while (s != NULL && *s != ';')
     {