Wrong handling of block-local function declarations (in Elab.ml).

1 files changed, 21 insertions, 0 deletions

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;
+}