new file mode 100644
@@ -0,0 +1,42 @@
+extern int gfun(int);
+static int sfun(int a) { return a; }
+
+void usei(int *);
+void usef(int (*)(int));
+void usev(void *);
+
+void foo(int *p, int a[5], int (*pfun)(int));
+void foo(int *p, int a[5], int (*pfun)(int))
+{
+ extern int valg[5], valh[5], vali[5];
+ static int vals[5], valt[5], valr[5];
+ int vala[5], valb[5], valc[5];
+
+ usei(p);
+ usei(valg);
+ usei(&valh[0]);
+ usei(&vali[1]);
+ usei(vals);
+ usei(&valt[0]);
+ usei(&valr[1]);
+ usei(vala);
+ usei(&valb[0]);
+ usei(&valc[1]);
+
+ usef(pfun);
+ usef(gfun);
+ usef(&gfun);
+ usef(sfun);
+ usef(&sfun);
+
+ usev(pfun);
+ usev(gfun);
+ usev(&gfun);
+ usev(sfun);
+ usev(&sfun);
+}
+
+/*
+ * check-name: pointer-param
+ * check-command: ./sparsec -c $file -o tmp.o
+ */
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com> --- validation/backend/pointer-param.c | 42 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 42 insertions(+) create mode 100644 validation/backend/pointer-param.c