/* This exposed a bug in tree-ssa-ccp.c.  Since 'j' and 'i' are never
   defined, CCP was not traversing the edges out of the if(), which caused
   the PHI node for 'k' at the top of the while to only be visited once.
   This ended up causing CCP to think that 'k' was the constant '1'.  */
void abort(void);

int main(void) {
    int i, j, k;

    k = 0;
    while (k < 10) {
        k++;
        if (j > i)
            j = 5;
        else
            j = 3;
    }

    if (k != 10)
        abort();

    return 0;
}
