1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-optimized" } */
3 /* PR tree-optimization/111431 */
12 /* { dg-final { scan-tree-dump-not "return 0" "optimized" } } */
13 /* { dg-final { scan-tree-dump-not " & " "optimized" } } */
14 /* { dg-final { scan-tree-dump-times " == 1025;" 1 "optimized" } } */