Fixed bug in makefile causing unnecessary remaking of cgrammar.c.

[splint.git] / src / loopHeuristics.c

diff --git a/src/loopHeuristics.c b/src/loopHeuristics.c
index e722e454c7c47d4e32e16405f8d036e5fab24c96..a0c857add3f55cc02d91756ee029c96a0378d5a7 100644 (file)
--- a/src/loopHeuristics.c
+++ b/src/loopHeuristics.c
@@ -17,8 +17,8 @@
 ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
 ** MA 02111-1307, USA.
 **
-** For information on splint: splint@cs.virginia.edu
-** To report a bug: splint-bug@cs.virginia.edu
+** For information on splint: info@splint.org
+** To report a bug: splint-bug@splint.org
 ** For more information: http://www.splint.org
 */
 
@@ -41,11 +41,14 @@
 # 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) /*@*/
 {
@@ -254,7 +257,10 @@ static /*@only@*/ constraintExpr getForTimes (/*@notnull@*/ exprNode forPred, /*
 
          }
        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;
     }