wrong endless loop handling

[r21813]

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