middle-end: Fix stalled swapped condition code value [PR115836]

[official-gcc.git] / gcc / testsuite / c-c++-common / analyzer / infinite-recursion-pr108935-1a.c

typedef struct {
    unsigned idx;
    int vals[512];
} foo_t;

int ended(foo_t* f) {
    return f->idx >= 512;
}
unsigned foo(foo_t* f) {
    if (ended(f)) {
        return f->idx;
    }
    do {
        f->idx += 1000;
    } while(!ended(f) && !f->vals[f->idx]);
    return foo(f); /* { dg-bogus "infinite recursion" } */
}