new file mode 100644
@@ -0,0 +1,72 @@
+extern int array[3];
+extern int matrix[3][3];
+extern int fun(int);
+
+extern int fia(int []);
+extern int fip(int *);
+extern int fim(int (*)[3]);
+extern int fvp(void *);
+extern int ffp(int (*)(int));
+
+void call(void);
+void call(void)
+{
+ fia(array);
+
+ fip(array);
+ fim(matrix);
+
+ fvp(array);
+ fvp(matrix);
+
+ fvp(fun);
+ fvp(&fun);
+ ffp(fun);
+ ffp(&fun);
+}
+
+void local(void);
+void local(void)
+{
+ int *ip;
+ int (*im)[3];
+ void *vp;
+ int (*fp)(int);
+
+ ip = array;
+ im = matrix;
+
+ vp = array;
+ vp = matrix;
+
+ vp = fun;
+ vp = &fun;
+ fp = fun;
+ fp = &fun;
+}
+
+
+extern int *ip;
+extern int (*im)[3];
+extern void *vp;
+extern int (*fp)(int);
+
+void global(void);
+void global(void)
+{
+ ip = array;
+ im = matrix;
+
+ vp = array;
+ vp = matrix;
+
+ vp = fun;
+ vp = &fun;
+ fp = fun;
+ fp = &fun;
+}
+
+/*
+ * check-name: degenerated pointer handling
+ * check-command: ./sparsec -c $file -o tmp.o
+ */
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com> --- validation/backend/degenerate-ptr.c | 72 +++++++++++++++++++++++++++++++++++++ 1 file changed, 72 insertions(+) create mode 100644 validation/backend/degenerate-ptr.c