another strange endless loop failure

[r21814]

diff --git a/ir/be/test/fehler152.c b/ir/be/test/fehler152.c
new file mode 100644 (file)
index 0000000..c88a52d
--- /dev/null
+++ b/ir/be/test/fehler152.c
@@ -0,0 +1,26 @@
+#include <stdio.h>
+#include <stdlib.h>
+#include <signal.h>
+
+int x = 2;
+int test(void) {
+
+       x = 3;
+
+       for(;;);
+}
+
+void handler(int sig)
+{
+       printf(x == 3 ? "ok\n" : "fail");
+       fflush(stdout);
+       exit(x == 3);
+}
+
+int main(int argc, char *argv[]) {
+       alarm(1);
+       signal(SIGALRM, handler);
+       test();
+       printf("FAIL ENDLESS LOOP\n");
+       return 1;
+}