From 2663561c623c9666a89d82ca9d435680312e4f71 Mon Sep 17 00:00:00 2001
From: mrdudz <mrdudz@users.noreply.github.com>
Date: Tue, 18 Aug 2020 00:41:35 +0200
Subject: [PATCH] added test related to pr #1135

---
 test/err/pr1135.c | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 test/err/pr1135.c

diff --git a/test/err/pr1135.c b/test/err/pr1135.c
new file mode 100644
index 000000000..01eff7d93
--- /dev/null
+++ b/test/err/pr1135.c
@@ -0,0 +1,8 @@
+
+void f(void) {}
+void f(int);    /* Should fail */
+
+int main(void)
+{
+    return 0;
+}