From 2a0096bc0c6057577f10d6343063d9eca76cbdea Mon Sep 17 00:00:00 2001
From: David Monniaux <David.Monniaux@univ-grenoble-alpes.fr>
Date: Thu, 23 Sep 2021 18:31:55 +0200
Subject: union passing

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

(limited to 'test')

diff --git a/test/regression/union_passing.c b/test/regression/union_passing.c
new file mode 100644
index 00000000..b0ce6319
--- /dev/null
+++ b/test/regression/union_passing.c
@@ -0,0 +1,23 @@
+#include <stdint.h>
+#include <stdio.h>
+static int32_t bk;
+union ba {
+  int64_t bb;
+};
+static void dada(union ba);
+void nothing(void);
+void stuff(void) {
+  union ba f = {5};
+  int32_t i[1000];
+  nothing();
+  dada(f);
+}
+static void dada(union ba k) {
+  bk = k.bb;
+}
+void nothing(void) {
+}
+int main() {
+  stuff();
+  printf("result = %d\n", bk);
+}
-- 
cgit