| /* { dg-do compile } */ | |
| /* { dg-options "-O2" } */ | |
| void bar (int); | |
| void | |
| foo () | |
| { | |
| int index = 0; | |
| for (index; index <= 10; index--) | |
| /* Result of the following multiply will overflow | |
| when converted to signed int. */ | |
| bar ((0xcafe + index) * 0xdead); /* { dg-warning "iteration \[0-9\]+ invokes undefined behavior" } */ | |
| } |