]> andersk Git - splint.git/commitdiff
Added test files to the repository.
authordkf5k <dkf5k>
Wed, 18 Jul 2001 23:52:02 +0000 (23:52 +0000)
committerdkf5k <dkf5k>
Wed, 18 Jul 2001 23:52:02 +0000 (23:52 +0000)
test/dkf5kEnum.c [new file with mode: 0644]
test/dkf5kRange.c [new file with mode: 0644]
test/dkf5kSprintf.c [new file with mode: 0644]

diff --git a/test/dkf5kEnum.c b/test/dkf5kEnum.c
new file mode 100644 (file)
index 0000000..3a88ba3
--- /dev/null
@@ -0,0 +1,31 @@
+/* dkf5k */
+#include <stdlib.h>
+
+int main()
+{ 
+
+  typedef enum 
+    {
+      apple,
+      pear, 
+      grapefruit
+    } fruits;
+  register int i;
+
+  int array[grapefruit+1];
+  array[apple] = 24;
+  array[pear] = 10;
+  for(i=0; i <= 1; i++)
+    {
+      printf("%i\n", array[i]);
+    }
+  return 0;
+}
+
+
+
+
+
+
+
diff --git a/test/dkf5kRange.c b/test/dkf5kRange.c
new file mode 100644 (file)
index 0000000..02af203
--- /dev/null
@@ -0,0 +1,18 @@
+/*dkf5k*/
+#include <stdlib.h>
+#include <stdio.h>
+int main()
+{ 
+  char buffer[12] = "hello world";
+  int i;
+  printf("Enter the character you want: ");
+  scanf("%i", &i);
+  if ( i >= sizeof(buffer))
+    {
+      fprintf(stderr, "Error: %i is greater than or equal to the range which is %i", i, sizeof(buffer));
+      exit(0);
+    }
+  printf("You asked for character %i which is %c", i, buffer[i]);
+  return 0;
+}
diff --git a/test/dkf5kSprintf.c b/test/dkf5kSprintf.c
new file mode 100644 (file)
index 0000000..649d94a
--- /dev/null
@@ -0,0 +1,11 @@
+/*dkf5k*/
+#include <stdlib.h>
+
+int main()
+{ 
+  char na[1000];
+  sprintf(na, "%s",  "hello world");
+  printf("%s\n", &(na[0]));
+  return 0;
+}
This page took 0.152786 seconds and 5 git commands to generate.