Fixed problem with shadow parameters.

[splint.git] / src / llmain.c

diff --git a/src/llmain.c b/src/llmain.c
index a5cd809a346f097ef9164f161e3cd805ebb5f293..7b8ad6f3638d228c964fba32be871b1cef22b5fe 100644 (file)
--- a/src/llmain.c
+++ b/src/llmain.c
@@ -1087,6 +1087,13 @@ int main (int argc, char *argv[])
        }
 
       cstring_free (specErrors);
+  
+      if (context_numBugs () > 0) {
+       expsuccess = FALSE;
+       if (!isQuiet) {
+         llmsg (message ("   %d internal bugs reported", context_numBugs ()));
+       }
+      }
   }
   
   if (context_getFlag (FLG_STATS))
@@ -1094,7 +1101,7 @@ int main (int argc, char *argv[])
       clock_t ttime = clock () - before;
       int specLines = context_getSpecLinesProcessed ();
       cstring specmsg = cstring_undefined;
-
+      
       rstime = clock ();
       
       if (specLines > 0)