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]);
+}