re PR c/20187 (wrong code for ((unsigned char)(unsigned long long)((a?a:1)&(a*b)))?0:1))

	PR c/20187
	* gcc.c-torture/execute/pr20187-1.c: New test.

From-SVN: r102490

gcc/testsuite/ChangeLog

+2005-07-28  Richard Sandiford  <richard@codesourcery.com>
+
+	PR c/20187
+	* gcc.c-torture/execute/pr20187-1.c: New test.
+
 2005-07-28  Jeff Law  <law@redhat.com>
 
 	* gcc.dg/tree-ssa/vrp17.c: Update expected output.

gcc/testsuite/gcc.c-torture/execute/pr20187-1.c

+int a = 0x101;
+int b = 0x100;
+
+int
+test (void)
+{
+  return (((unsigned char) (unsigned long long) ((a ? a : 1) & (a * b)))
+	  ? 0 : 1);
+}
+
+int
+main (void)
+{
+  return 1 - test ();
+}