Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx>
---
validation/backend/pointer-param.c | 42 ++++++++++++++++++++++++++++++++++++++
1 file changed, 42 insertions(+)
create mode 100644 validation/backend/pointer-param.c
diff --git a/validation/backend/pointer-param.c b/validation/backend/pointer-param.c
new file mode 100644
index 000000000..b705e6f4d
--- /dev/null
+++ b/validation/backend/pointer-param.c
@@ -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
+ */
--
2.11.1
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
