*** empty log message ***

[splint.git] / src / constraintResolve.c

diff --git a/src/constraintResolve.c b/src/constraintResolve.c
index ba0e28b60aa15b0179cb728b0ca2b07fdd6d9ebe..a79c3ff4003e450e1d44f7602c554fd7057f0279 100644 (file)
--- a/src/constraintResolve.c
+++ b/src/constraintResolve.c
@@ -716,8 +716,8 @@ static bool arithType_canResolve (arithType ar1, arithType ar2)
 bool constraint_isAlwaysTrue (/*@observer@*/ /*@temp@*/ constraint c)
 {
   constraintExpr l, r;
-  bool /*@unused@*/ lHasConstant, rHasConstant;
-  int /*@unused@*/ lConstant, rConstant;
+  bool rHasConstant;
+  int rConstant;
   
   l = c->lexpr;
   r = c->expr;