# include "exprChecks.h"
# include "exprNodeSList.h"
-# include "exprDataQuite.i"
+/*@access constraint, exprNode @*/ /* !!! NO! */
-/*@access constraint, exprNode @*/
+/*@access constraintExpr @*/ /* !!! NO! */
-/*@access constraintExpr @*/
+/*@-nullderef@*/ /* !!! DRL needs to fix this code! */
+/*@-nullstate@*/ /* !!! DRL needs to fix this code! */
+/*@-nullpass@*/ /* !!! DRL needs to fix this code! */
+/*@-temptrans@*/ /* !!! DRL needs to fix this code! */
static bool isInc (/*@observer@*/ constraintExpr c) /*@*/
{
}
else
- DPRINTF (( message ("getForTimes: %s doesn't increment %s", constraint_print (el2), constraint_print (el) ) ));
+ {
+ ;
+ DPRINTF (( message ("getForTimes: %s doesn't increment %s", constraint_print (el2), constraint_print (el) ) ));
+ }
}
end_constraintList_elements;
}