1 /* PR tree-optimization/57083 */
2 /* { dg-do run { target int32plus } } */
3 
4 extern void abort (void);
5 short x = 1;
6 int y = 0;
7 
8 int
main()9 main ()
10 {
11   unsigned t = (0x7fff8001U - x) << (y == 0);
12   if (t != 0xffff0000U)
13     abort ();
14   return 0;
15 }
16