Added in test case files. (Merge should be complete now.)

[splint.git] / test / nullterminatedtest / test1.c

diff --git a/test/nullterminatedtest/test1.c b/test/nullterminatedtest/test1.c
new file mode 100644 (file)
index 0000000..3db054f
--- /dev/null
+++ b/test/nullterminatedtest/test1.c
@@ -0,0 +1,16 @@
+#include <stdio.h>
+
+void fcn1 (/*@nullterminated@*/ char *e);
+
+int main (){
+/*@unused@*/ char c[];
+
+char *d;
+
+ c[0] = '\0';
+fcn1(c);
+fcn1("hello");
+fcn1(d);
+
+return 0; 
+}