Fix tracker issue 1837229.

[splint.git] / src / constraintGeneration.c

diff --git a/src/constraintGeneration.c b/src/constraintGeneration.c
index 148a2e71f81ffb7d3dd8ce48f92c5b309aaed133..4d46ca178d36af0993c20c2cbd7aa4469ffd1b67 100644 (file)
--- a/src/constraintGeneration.c
+++ b/src/constraintGeneration.c
@@ -1428,6 +1428,10 @@ void exprNode_exprTraverse (/*@dependent@*/ exprNode e,
        {
          break;
        }
+      else if (lltok_isPlus_Op (tok))
+       {
+         break;
+       }
       else if (lltok_isExcl_Op (tok))
        {
          break;