From 55d0c4a91059d953ea03a8dbfb98a9c1a18584e2 Mon Sep 17 00:00:00 2001
From: Matthias Braun <matze@braunis.de>
Date: Wed, 19 Sep 2007 21:20:37 +0000
Subject: [PATCH] fehler80

[r15889]
---
 ir/be/test/fehler80.c | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 ir/be/test/fehler80.c

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;
+}
-- 
2.20.1