1 /* PR rtl-optimization/57131 */
2 
3 extern void abort (void);
4 
5 int
main()6 main ()
7 {
8   volatile int x1 = 0;
9   volatile long long x2 = 0;
10   volatile int x3 = 0;
11   volatile int x4 = 1;
12   volatile int x5 = 1;
13   volatile long long x6 = 1;
14   long long t = ((x1 * (x2 << x3)) / (x4 * x5)) + x6;
15 
16   if (t != 1)
17     abort ();
18   return 0;
19 }
20