]> andersk Git - splint.git/blobdiff - test/moreBufferTests2.expect
Fixed line numbering when multi-line macro parameters are used.
[splint.git] / test / moreBufferTests2.expect
index 152baed0868909851b6ce6720da99c21955f2403..1119c82593e60030a410ac2191d94fdc3e98f4c6 100644 (file)
@@ -13,9 +13,9 @@ fixedArrayType.c: (in function fixedArrayTouch)
 fixedArrayType.c:9:3: Possible out-of-bounds store:
     buffer[sizeof(Array) - 1]
     Unable to resolve constraint:
-    requires sizeof(Array) @ fixedArrayType.c:9:24 <= 10
+    requires sizeof(Array) @ fixedArrayType.c:9:25 <= 10
      needed to satisfy precondition:
     requires maxSet(buffer @ fixedArrayType.c:9:3) >= sizeof(Array) @
-    fixedArrayType.c:9:24 - 1
+    fixedArrayType.c:9:25 - 1
 
 Finished checking --- 1 code warning, as expected
This page took 0.10396 seconds and 4 git commands to generate.