Merged this branch with the one in the splint.sf.net repository.

[splint.git] / src / constraintResolve.c

diff --git a/src/constraintResolve.c b/src/constraintResolve.c
index 9cbc788d2feed66d4cdd39d7e2cdf0a3987efddd..97f3fbd3654e44f612291cde7e4f98012b122637 100644 (file)
--- a/src/constraintResolve.c
+++ b/src/constraintResolve.c
@@ -39,12 +39,12 @@
 # include "exprNodeSList.h"
 
 
-/*@access constraint, exprNode @*/ /*!!! NO! Don't do this so recklessly - design your code more carefully so you don't need to! */
+/*@access constraint@*/ 
 
 /*@-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! */
+
 
 
 
@@ -743,6 +743,8 @@ static bool arithType_canResolve (arithType ar1, arithType ar2)
   return FALSE;          
 }
 
+
+
 /*checks for the case expr2 == sizeof buf1  and buf1 is a fixed array*/
 static bool  sizeofBufComp(constraintExpr buf1, constraintExpr expr2)
 {
@@ -762,10 +764,15 @@ static bool  sizeofBufComp(constraintExpr buf1, constraintExpr expr2)
 
   e = constraintTerm_getExprNode(ct);
 
+  /*@access exprNode@*/ /*!!! NO! Don't do this so recklessly - design your code more carefully so you don't need to! */
+  
   if (e->kind != XPR_SIZEOF)
     return FALSE;
   
   t = exprData_getSingle (e->edata);
+
+  /*@noaccess exprNode@*/
+  
   s1 = exprNode_getSref (t);
 
   s2 = constraintTerm_getsRef(constraintExprData_termGetTerm(buf1->data) );