- if (!context_getFlag(FLG_DEBUGFUNCTIONCONSTRAINT))
- {
- /* check if errors will printed */
- if (!(context_getFlag(FLG_DEBUGFUNCTIONCONSTRAINT) ||
- context_getFlag(FLG_BOUNDSWRITE) ||
- context_getFlag(FLG_BOUNDSREAD) ||
- context_getFlag(FLG_LIKELYBOUNDSWRITE) ||
- context_getFlag(FLG_LIKELYBOUNDSREAD) ||
- context_getFlag(FLG_CHECKPOST) ))
- {
- exprNode_free (body);
- context_exitInnerPlain();
- return;
- }
- }
+ if (!(context_getFlag (FLG_DEBUGFUNCTIONCONSTRAINT)
+ || context_getFlag (FLG_BOUNDSWRITE)
+ || context_getFlag (FLG_BOUNDSREAD)
+ || context_getFlag (FLG_LIKELYBOUNDSWRITE)
+ || context_getFlag (FLG_LIKELYBOUNDSREAD)
+ || context_getFlag (FLG_CHECKPOST)
+ || context_getFlag (FLG_ALLOCMISMATCH)))
+ {
+ exprNode_free (body);
+ context_exitInnerPlain();
+ return;
+ }