ADded numabstract types.

[splint.git] / src / constraintGeneration.c

diff --git a/src/constraintGeneration.c b/src/constraintGeneration.c
index e43f9f507f94b9dd133fca526358db7d7fcd6b8e..0cc3fb30593d4958b5d7c033c2a30f2037f6076b 100644 (file)
--- a/src/constraintGeneration.c
+++ b/src/constraintGeneration.c
@@ -461,7 +461,7 @@ static exprNode doWhile (/*@returned@*/ exprNode e, /*@dependent@*/ exprNode tes
          size = sRef_getArraySize(el);
          DPRINTF((message("%s is a fixed array with size %d",
                            sRef_unparse(el), (int)size)));
-         con = constraint_makeSRefSetBufferSize (el, (size - 1));
+         con = constraint_makeSRefSetBufferSize (el, size_toLong (size - 1));
          ret = constraintList_add(ret, con);
        }
       else