fehler80

[r15889]

diff --git a/ir/be/test/fehler80.c b/ir/be/test/fehler80.c
new file mode 100644 (file)
index 0000000..2e55429
--- /dev/null
+++ b/ir/be/test/fehler80.c
@@ -0,0 +1,13 @@
+/*$ -fno-inline $*/
+
+#include <stdio.h>
+#include <limits.h>
+
+int f(unsigned x) {
+       return x < 10;
+}
+
+int main(void) {
+       printf("Res: %d (should be 0)\n", f(INT_MIN));
+       return 0;
+}