From: No Author <no-author@gcc.gnu.org>
Date: Sun, 8 Aug 2004 18:55:34 +0000 (+0000)
Subject: This commit was manufactured by cvs2svn to create branch
X-Git-Tag: releases/gcc-3.3.5~76
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e9a36cb6256fe57340b0b8caeb59616d0b402fab;p=thirdparty%2Fgcc.git

This commit was manufactured by cvs2svn to create branch
'gcc-3_3-branch'.

From-SVN: r85690
---

diff --git a/gcc/testsuite/gcc.c-torture/execute/pr16790-1.c b/gcc/testsuite/gcc.c-torture/execute/pr16790-1.c
new file mode 100644
index 000000000000..dc6a77404b59
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/execute/pr16790-1.c
@@ -0,0 +1,41 @@
+/* PR middle-end/16790.  */
+
+extern void abort ();
+
+static void test1(unsigned int u1)
+{
+  unsigned int y_final_1;
+  signed short y_middle;
+  unsigned int y_final_2;
+
+  y_final_1 = (unsigned int)( (signed short)(u1 * 2) * 3 );
+  y_middle  =                 (signed short)(u1 * 2);
+  y_final_2 = (unsigned int)( y_middle * 3 );
+
+  if (y_final_1 != y_final_2)
+    abort ();
+}
+
+
+static void test2(unsigned int u1)
+{
+  unsigned int y_final_1;
+  signed short y_middle;
+  unsigned int y_final_2;
+
+  y_final_1 = (unsigned int)( (signed short)(u1 << 1) * 3 );
+  y_middle  =                 (signed short)(u1 << 1);
+  y_final_2 = (unsigned int)( y_middle * 3 );
+
+  if (y_final_1 != y_final_2)
+    abort ();
+}
+
+
+int main()
+{
+  test1(0x4000U);
+  test2(0x4000U);
+  return 0;
+}
+