From c3b615f875ed2cf8418453c79c4621d2dc61b0a0 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Wed, 26 Nov 2014 15:50:36 +0100
Subject: Wrong handling of block-local function declarations (in Elab.ml).

---
 test/regression/decl1.c | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 test/regression/decl1.c

(limited to 'test/regression/decl1.c')

diff --git a/test/regression/decl1.c b/test/regression/decl1.c
new file mode 100644
index 00000000..d2aedba7
--- /dev/null
+++ b/test/regression/decl1.c
@@ -0,0 +1,21 @@
+#include <stdio.h>
+
+/* Local function declarations */
+
+int f (int p)
+{
+    p = p + 1;
+     return p;
+}
+
+int main (int argc, char **argv)
+{
+    int (*p)();
+    int f();
+    int i;
+
+    p = f;
+    i = (*p)(1);
+    printf("Result is %d\n", i);
+    return 0;
+}
-- 
cgit