The code almost work.

[splint.git] / src / Headers / exprNode.h

diff --git a/src/Headers/exprNode.h b/src/Headers/exprNode.h
index c482accf46c4110f7e415fcdd6a864b841e59332..612536caeb9e58fab59435db8cf4d211a4a664ec 100644 (file)
--- a/src/Headers/exprNode.h
+++ b/src/Headers/exprNode.h
@@ -159,12 +159,12 @@ struct _exprNode
   fileloc loc;
   /*@relnull@*/ exprData edata;
   cstring etext;
-  constraintList requiresConstraints;
-  constraintList ensuresConstraints;
+  /*@notnull@*/   constraintList requiresConstraints;
+  /*@notnull@*/ constraintList ensuresConstraints;
   //these two are used only for boolean expressions
   //they store the ensures constraints for the true and false cases
-  constraintList trueEnsuresConstraints;
-  constraintList falseEnsuresConstraints;
+  /*@notnull@*/ constraintList trueEnsuresConstraints;
+  /*@notnull@*/ constraintList falseEnsuresConstraints;
 } ;
 
 /*@constant null exprNode exprNode_undefined; @*/