]> andersk Git - splint.git/blobdiff - test/decl.c
Modified tests to account for bool being defined in the standard library.
[splint.git] / test / decl.c
index 1fc1c1d0cca524d64abd5ccb5863436c7d16accd..82f9bcc4ad03fb1759dd232e9ac15ccbc00bc852 100644 (file)
@@ -6,3 +6,16 @@ int main()
   int (**x)(int) = &y;
   x(10);  /* called object is not a function */
 }
+
+static /*@unused@*/ void foo1(void)
+{
+  int buf[10];
+  buf[10] = 3;
+}
+
+
+static /*@unused@*/ void foo(void) 
+{ 
+  float *array = NULL; 
+  size_t /*@unused@*/ size = sizeof(array[0]); 
+} 
This page took 0.042958 seconds and 4 git commands to generate.