rt_gccstream/gcc/testsuite/gcc.dg/tree-ssa/vrp49.c

29 lines
404 B
C

/* { dg-do link } */
/* { dg-options "-O2" } */
extern void link_error (void) __attribute__((noreturn));
int n;
float *x;
int main()
{
if (n > 0)
{
int i = 0;
do
{
long long index;
i = i + 1;
index = i;
if (index <= 0)
link_error ();
x[index] = 0;
i = i + 1;
index = i;
if (index <= 0)
link_error ();
x[index] = 0;
}
while (i < n);
}
}