]> andersk Git - splint.git/blobdiff - test/tests2.5.expect
noexpand always false.
[splint.git] / test / tests2.5.expect
index 2bab909e774501f028fbf4b1e1dbe915de00a335..0217256a9c91fec10e69c069cd7fbe7f600fd5d2 100644 (file)
@@ -22,8 +22,8 @@ Finished checking --- no warnings
 Finished checking --- no warnings
 
 booltest.c: (in function f)
-booltest.c:9:12: Return value type int does not match declared type bool: i
 booltest.c:8:7: Test expression for if not bool, type int: i
+booltest.c:9:12: Return value type int does not match declared type bool: i
 
 Finished checking --- 2 code warnings, as expected
 
@@ -42,7 +42,7 @@ immutable.c: (in function immutable_create)
 immutable.c:7:6: Arrow access from possibly null pointer res: res->x
    immutable.c:5:19: Storage res may become null
 immutable.c:8:10: Fresh storage returned as unqualified (should be only): res
-   immutable.c:5:54: Fresh storage res allocated
+   immutable.c:5:54: Fresh storage res created
 
 Finished checking --- 2 code warnings, as expected
 
This page took 0.060523 seconds and 4 git commands to generate.