1 /* { dg-do run } */
2 /* { dg-require-effective-target int32plus } */
3 
4 short var_9 = 19581;
5 unsigned char var_33 = 21;
6 long long int var_55 = 286697804684061197LL;
7 long long int var_59 = -1962393262513510540LL;
8 long long int var_71 = 4731868609112929952LL;
9 long long int var_773 = -4784633456247777769LL;
10 short var_776 = 5894;
11 long long int var_1321 = 7573221950916697355LL;
12 unsigned char uc = 217;
13 
foo()14 void foo()
15 {
16   if (var_55)
17     var_71 = 0;
18   if (var_9 != ~(0 < uc))
19     var_773 = 0;
20   else
21     var_776 = 1 / ~var_9 * -1;
22   if (var_33)
23     var_59 = ~var_9 & 10393;
24   var_1321 = ~var_9;
25 }
main()26 int main()
27 {
28   foo();
29   if (var_59 != 8320)
30     __builtin_abort ();
31   return 0;
32 }
33