aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/backend
diff options
Diffstat (limited to 'validation/backend')
-rw-r--r--validation/backend/function-ptr.c11
1 files changed, 11 insertions, 0 deletions
diff --git a/validation/backend/function-ptr.c b/validation/backend/function-ptr.c
new file mode 100644
index 00000000..fc022b3c
--- /dev/null
+++ b/validation/backend/function-ptr.c
@@ -0,0 +1,11 @@
+typedef int (*fn_t)(int x, int y);
+
+static int run(fn_t fn, int x, int y)
+{
+ return fn(x, y);
+}
+
+/*
+ * check-name: Function pointer code generation
+ * check-command: ./sparsec -c $file -o tmp.o
+ */