diff --git a/regression/ansi-c/Function_parameters1/main.c b/regression/ansi-c/Function_parameters1/main.c
new file mode 100644
index 0000000000..1ab0ff6c8f
--- /dev/null
+++ b/regression/ansi-c/Function_parameters1/main.c
@@ -0,0 +1,29 @@
+typedef void func_type(int, char);
+
+typedef void func_type2(func_type f, char z);
+
+typedef void func_type3(int size, int array[size]);
+
+void func1(int size, int array[size][size]);
+
+void func1(int size, int array[size][size])
+{
+}
+
+void func2(int size, int array[static size]);
+
+void func3(int size, int array[const]);
+
+int f()
+{
+  typedef void func_type_td(int size, int array[size]);
+}
+
+int g()
+{
+  typedef void func_type_td(int size, int array[size]);
+}
+
+int main()
+{
+}
diff --git a/regression/ansi-c/Function_parameters1/test.desc b/regression/ansi-c/Function_parameters1/test.desc
new file mode 100644
index 0000000000..466da18b2b
--- /dev/null
+++ b/regression/ansi-c/Function_parameters1/test.desc
@@ -0,0 +1,8 @@
+CORE
+main.c
+
+^EXIT=0$
+^SIGNAL=0$
+--
+^warning: ignoring
+^CONVERSION ERROR$