1 /* { dg-do compile } */
2 /* { dg-options "-O -fdump-tree-gimple -fdump-tree-optimized" } */
3 
f(int a)4 int f(int a){
5   int b = -__INT_MAX__-1;
6   a &= b;
7   return a == b;
8 }
g(int x)9 int g(int x){
10     x = x < 0 ? -x : x;
11     return x == 0;
12 }
13 
14 /* This should work even if int is not 32 bits, it is just not meaningful in
15    that case.  */
16 /* { dg-final { scan-tree-dump-not "-2147483648" "optimized"} } */
17 /* { dg-final { scan-tree-dump " < 0" "optimized"} } */
18 /* { dg-final { scan-tree-dump "ABS_EXPR" "gimple"} } */
19 /* { dg-final { scan-tree-dump-not "ABS_EXPR" "optimized"} } */
20