fehler143: eccp makes the __assert_fail() call in an assert() macro disappear.

[r21639]

diff --git a/ir/be/test/fehler143.c b/ir/be/test/fehler143.c
new file mode 100644 (file)
index 0000000..2812fde
--- /dev/null
+++ b/ir/be/test/fehler143.c
@@ -0,0 +1,21 @@
+#include <assert.h>
+#include <signal.h>
+#include <stdlib.h>
+
+void f(int x)
+{
+       assert(x < 0);
+}
+
+void handler(int sig)
+{
+       (void)sig;
+       exit(0);
+}
+
+int main(void)
+{
+       signal(SIGABRT, handler);
+       f(1);
+       return 1;
+}