From f359bbfd224894bdcea3cd71eb213399875ccf0d Mon Sep 17 00:00:00 2001
From: Matthias Braun <matze@braunis.de>
Date: Tue, 14 Aug 2007 20:07:45 +0000
Subject: [PATCH] fehler71

[r15546]
---
 ir/be/test/fehler71.c | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 ir/be/test/fehler71.c

diff --git a/ir/be/test/fehler71.c b/ir/be/test/fehler71.c
new file mode 100644
index 000000000..f4f8f00bc
--- /dev/null
+++ b/ir/be/test/fehler71.c
@@ -0,0 +1,27 @@
+/*$ -fno-if-conv $*/
+
+#include <stdio.h>
+#include <stdlib.h>
+
+int a = 42;
+
+void changea(void) {
+	a = 13;
+}
+
+int f(int f) {
+	int t = a;
+	changea();
+
+	/* must not use source address mode (loading from a) for t+1 and t+2 */
+	if(f > 10000) {
+		return t + 1;
+	}
+	return f + 2;
+}
+
+int main(void) {
+	srand(0);
+	printf("Res: %d\n", f(rand()));
+	return 0;
+}
-- 
2.20.1