]> andersk Git - splint.git/blobdiff - test/cases.out
Removed /bin/csh from tainted/Makefile
[splint.git] / test / cases.out
index 47d9f76c1f3bc1cfd603250fad30e29cbc207a06..3825245a5fa6f4eb2260eaa0857c3c9839865a16 100644 (file)
@@ -1,12 +1,12 @@
 
 cases.c: (in function f)
-cases.c:12:10: Fall through case (no preceeding break)
+cases.c:12:10: Fall through case (no preceding break)
 cases.c:13:11: Variable i used before definition
-cases.c:30:10: Fall through case (no preceeding break)
-cases.c:37:13: Fall through case (no preceeding break)
+cases.c:30:10: Fall through case (no preceding break)
+cases.c:37:13: Fall through case (no preceding break)
 cases.c:40:2: Path with no return in function declared to return int
 
-Finished LCLint checking --- 5 code errors found, as expected
+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
@@ -17,7 +17,7 @@ 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
 
-Finished LCLint checking --- 2 code errors found, as expected
+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
@@ -29,7 +29,7 @@ cases2.c:37:5: Variable x is released in one possible execution, but live in
    cases2.c:36:16: Storage x is released
 cases2.c:1:24: Function g declared but not defined
 
-Finished LCLint checking --- 3 code errors found, as expected
+Finished checking --- 3 code warnings, as expected
 
 cases2.c: (in function f2)
 cases2.c:28:12: Variable x used after being released
@@ -39,4 +39,4 @@ cases2.c:39:12: Variable x used after being released
    cases2.c:36:16: Storage x released
 cases2.c:1:24: Function g declared but not defined
 
-Finished LCLint checking --- 3 code errors found, as expected
+Finished checking --- 3 code warnings, as expected
This page took 0.037336 seconds and 4 git commands to generate.