}
cstring_free (specErrors);
+
+ if (context_numBugs () > 0) {
+ expsuccess = FALSE;
+ if (!isQuiet) {
+ llmsg (message (" %d internal bugs reported", context_numBugs ()));
+ }
+ }
}
if (context_getFlag (FLG_STATS))
clock_t ttime = clock () - before;
int specLines = context_getSpecLinesProcessed ();
cstring specmsg = cstring_undefined;
-
+
rstime = clock ();
if (specLines > 0)
if (status != LLFAILURE)
{
usymtab_destroyMod ();
- context_destroyMod ();
+
+ /*drl I'm commenting this line out
+ because it is causing Splint to crash when built with
+ 2.95 I'm not sure if this is a compiler bug or if if has to do with bool
+ Any way if we're going to exist the program why do we bother freeing stuff...
+ */
+ /* context_destroyMod (); */
exprNode_destroyMod ();
cppReader_destroyMod ();
sRef_destroyMod ();