1 files changed, 12 insertions, 0 deletions
diff --git a/test/monniaux/regalloc/invalid_register_allocation.c b/test/monniaux/regalloc/invalid_register_allocation.c
new file mode 100644
index 00000000..93da30eb
--- /dev/null
+++ b/test/monniaux/regalloc/invalid_register_allocation.c
@@ -0,0 +1,12 @@
+/* simplified version of c-strtod.i */
+
+extern double getdouble(void);
+extern void intptr(void);
+
+double bidule (void)
+{
+  double r;
+  r = getdouble();
+  intptr();
+  return r;
+}