Added some new tests: sizeof, and bufferTest.

[splint.git] / test / nullterminatedtest.out

diff --git a/test/nullterminatedtest.out b/test/nullterminatedtest.out
index f1b6235cb9e78cc8a9ae66f54cdd205ecfc033e6..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391 100644 (file)
--- a/test/nullterminatedtest.out
+++ b/test/nullterminatedtest.out
@@ -1,21 +0,0 @@
-
-****************************NULLTERMINATED ERROR2
-test1.c: (in function main)
-test1.c:11:6: Possibly non-nullterminated storage c passed as nullterminated
-                 param: fcn1 (c)
-SYMBOL REFERENCED IS NOT NULLTERMINATED!
-*******************************=
-
-test1.c:13:6: Variable d used before definition
-****************************NULLTERMINATED ERROR2
-test1.c:13:6: Possibly non-nullterminated storage d passed as nullterminated
-                 param: fcn1 (d)
-SYMBOL REFERENCED IS NOT NULLTERMINATED!
-*******************************=
-
-
-Finished LCLint checking --- 3 code errors found
-
-Cannot open file: test2.c
-
-Finished LCLint checking --- no code processed