Added simplified test case for conversion double2int.

[r20760]

diff --git a/ir/be/test/fehler117.c b/ir/be/test/fehler117.c
new file mode 100644 (file)
index 0000000..ec7b0d4
--- /dev/null
+++ b/ir/be/test/fehler117.c
@@ -0,0 +1,6 @@
+double x = 4294967295.0;
+
+int main(void) {
+       printf("%u (should be 4294967295)\n", (unsigned int)x);
+       return 0;
+}