mirror of git://gcc.gnu.org/git/gcc.git
19 lines
458 B
C
19 lines
458 B
C
/* Check that loops whose final iteration is undefined are detected. */
|
|
/* { dg-do compile } */
|
|
/* { dg-options "-O2 -Waggressive-loop-optimizations" } */
|
|
|
|
void doSomething(char);
|
|
|
|
char array[5];
|
|
|
|
void
|
|
foo (void)
|
|
{
|
|
int i;
|
|
for (i = 0;
|
|
array[i] /* { dg-message "note: possible undefined statement is here" } */
|
|
&& i < 5; /* { dg-warning "loop exit may only be reached after undefined behavior" } */
|
|
i++)
|
|
doSomething(array[i]);
|
|
}
|