more tricky endless loop stuff

[r21822]

diff --git a/ir/be/test/fehler154.c b/ir/be/test/fehler154.c
new file mode 100644 (file)
index 0000000..a5f48e5
--- /dev/null
+++ b/ir/be/test/fehler154.c
@@ -0,0 +1,30 @@
+#include <stdio.h>
+#include <signal.h>
+#include <stdlib.h>
+#include <unistd.h>
+
+int foo(int x)
+{
+       while(x == 0)
+               ;
+
+       return x;
+}
+
+int k;
+
+void handler(int sig)
+{
+       printf("ok\n");
+       _exit(0);
+}
+
+int main(void) {
+       alarm(1);
+       signal(SIGALRM, handler);
+
+       foo(0);
+
+       printf("endless loop returned!\n");
+       return 1;
+}