blob: 9ba6fb075e67c86dd65f30551fc43899e661f36e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
/* { 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" } */
}
|
