From 863fec184fdb150f4f8758cc68eb6a51f9a38dfe Mon Sep 17 00:00:00 2001
From: Michael Forney <mforney@mforney.org>
Date: Sun, 17 Feb 2019 00:57:33 -0800
Subject: Improve old-style function declaration support

Implement typecompatible for types created with non-prototype function
declarations.

Require a function definition with parameter declaration list after a
declaration with a non-empty identifier list.

Detect function definitions with parameter declaration lists containing
types incompatible with the promoted types, and report an error for now.
---
 tests/compatible-function-types.c   | 17 +++++++++++++++++
 tests/compatible-function-types.qbe | 16 ++++++++++++++++
 2 files changed, 33 insertions(+)
 create mode 100644 tests/compatible-function-types.c
 create mode 100644 tests/compatible-function-types.qbe

(limited to 'tests')

diff --git a/tests/compatible-function-types.c b/tests/compatible-function-types.c
new file mode 100644
index 0000000..0e63a1c
--- /dev/null
+++ b/tests/compatible-function-types.c
@@ -0,0 +1,17 @@
+void f1();
+void f1(int, void *);
+
+int f2();
+int f2(double);
+
+void f3() {}
+void f3(void);
+
+void f4(int, char *);
+void f4(int, char *);
+
+void f5(x, y) unsigned x; double y; {}
+void f5(unsigned, double);
+
+void f6(const char *, ...);
+void f6(const char[], ...);
diff --git a/tests/compatible-function-types.qbe b/tests/compatible-function-types.qbe
new file mode 100644
index 0000000..27d9b32
--- /dev/null
+++ b/tests/compatible-function-types.qbe
@@ -0,0 +1,16 @@
+export
+function $f3() {
+@start.1
+@body.2
+	ret
+}
+export
+function $f5(w %.1, d %.3) {
+@start.3
+	%.2 =l alloc4 4
+	storew %.1, %.2
+	%.4 =l alloc8 8
+	stored %.3, %.4
+@body.4
+	ret
+}
-- 
cgit v1.2.3