| /* { dg-do compile } */ | |
| /* { dg-skip-if "finite loops" { *-*-* } { "-ffinite-loops" } } */ | |
| /* { dg-skip-if "LTO optimizes the test" { *-*-* } { "-flto" } } */ | |
| /* { dg-additional-options "-fdump-tree-optimized" } */ | |
| int a, b; | |
| int | |
| main() | |
| { | |
| while (1) | |
| { | |
| /* Try really hard. */ | |
| if (a != b) | |
| return 1; | |
| } | |
| return 0; | |
| } | |
| /* ISO C does not guarantee forward progress like C++ does so we | |
| cannot assume the loop is finite and optimize it to return 1. */ | |
| /* { dg-final { scan-tree-dump "if" "optimized" } } */ |