From: Matthias Braun <matze@braunis.de>
Date: Wed, 19 Sep 2007 21:20:37 +0000 (+0000)
Subject: fehler80
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=55d0c4a91059d953ea03a8dbfb98a9c1a18584e2;p=libfirm

fehler80

[r15889]
---

diff --git a/ir/be/test/fehler80.c b/ir/be/test/fehler80.c
new file mode 100644
index 000000000..2e55429a2
--- /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;
+}