Added test cases from the buffer checking chapter of the manual.

[splint.git] / test / manual / updateMyEnv.c

diff --git a/test/manual/updateMyEnv.c b/test/manual/updateMyEnv.c
new file mode 100644 (file)
index 0000000..f2dafca
--- /dev/null
+++ b/test/manual/updateMyEnv.c
@@ -0,0 +1,19 @@
+#include<string.h>
+#include<stdlib.h>
+
+
+
+
+
+
+
+
+void updateMyEnv(char * str)
+{
+  char * tmp;
+  tmp = getenv("MYENV");
+  if (tmp != NULL)
+    strcpy (str, tmp);
+
+}
+