]> andersk Git - splint.git/blobdiff - test/cases.expect
noexpand always false.
[splint.git] / test / cases.expect
index 3825245a5fa6f4eb2260eaa0857c3c9839865a16..2061b3e2f6b8fd43c85b6a66b730b31b1289e7dd 100644 (file)
@@ -11,22 +11,26 @@ Finished checking --- 5 code warnings, as expected
 cases2.c: (in function f2)
 cases2.c:26:5: Variable x is released in one possible execution, but live in
                   other possible execution.
-   cases2.c:23:16: Storage x is released
+   cases2.c:26:5: in one possible execution:
+   cases2.c:23:16: Storage x released
 cases2.c: (in function f3)
 cases2.c:37:5: Variable x is released in one possible execution, but live in
                   other possible execution.
-   cases2.c:36:16: Storage x is released
+   cases2.c:37:5: in one possible execution:
+   cases2.c:36:16: Storage x released
 
 Finished checking --- 2 code warnings, as expected
 
 cases2.c: (in function f2)
 cases2.c:26:5: Variable x is released in one possible execution, but live in
                   other possible execution.
-   cases2.c:23:16: Storage x is released
+   cases2.c:26:5: in one possible execution:
+   cases2.c:23:16: Storage x released
 cases2.c: (in function f3)
 cases2.c:37:5: Variable x is released in one possible execution, but live in
                   other possible execution.
-   cases2.c:36:16: Storage x is released
+   cases2.c:37:5: in one possible execution:
+   cases2.c:36:16: Storage x released
 cases2.c:1:24: Function g declared but not defined
 
 Finished checking --- 3 code warnings, as expected
This page took 0.103777 seconds and 4 git commands to generate.