Temporarily set flags to splintme without warnings.

[splint.git] / src / constraintExpr.c

diff --git a/src/constraintExpr.c b/src/constraintExpr.c
index 4249d9ca48bc0b682b3391f05b6bb9ce3a2ed6ce..1ea7f54e41ad4e2de44bc3760f35477ae3cb2ff0 100644 (file)
--- a/src/constraintExpr.c
+++ b/src/constraintExpr.c
@@ -38,10 +38,12 @@
 
 /*@-czechfcns@*/
 
+/*@access exprNode@*/ /* !!! NO! Don't do this recklessly! */
+/*@-nullderef@*/ /* !!! DRL needs to fix this code! */
+/*@-nullstate@*/ /* !!! DRL needs to fix this code! */
+/*@-temptrans@*/ /* !!! DRL needs to fix this code! */
 
 
-/*@access exprNode constraintExpr@*/
-
 static ctype constraintExpr_getOrigType (constraintExpr p_e);
 static bool constraintExpr_hasTypeChange(constraintExpr p_e) /*@*/;