clause inclause;
int numerrors;
+ int numbugs;
filelocStack locstack;
fileTable ftab;
** On by default for Win32, but not Unix
*/
-# ifdef WIN32
+# if defined (WIN32) || defined (OS2)
gc.flags[FLG_PARENFILEFORMAT] = TRUE;
gc.flags[FLG_CASEINSENSITIVEFILENAMES] = TRUE;
# endif
void context_enterAndClause (exprNode e)
{
-
+ DPRINTF (("enter and clause: %s", exprNode_unparse (e)));
usymtab_trueBranch (guardSet_copy (exprNode_getGuards (e)));
pushClause (ANDCLAUSE);
}
gc.numerrors = 0;
}
+void
+context_recordBug (void)
+{
+ gc.numbugs++;
+}
+
+int
+context_numBugs (void)
+{
+ return gc.numbugs;
+}
+
void context_initMod (void)
/*@globals undef gc; @*/
{
gc.instandardlib = FALSE;
gc.numerrors = 0;
+ gc.numbugs = 0;
gc.neednl = FALSE;
gc.linesprocessed = 0;
gc.speclinesprocessed = 0;