John Colvin:

I guess there are cases where it's not easily catchable:

void foo(int* p0, int* p1)
{
    (*p0)++ = (*p1)++;
}

what happens when p0 == p1?

The undefined code can be found statically, the run-time values are irrelevant.

Bye,
bearophile

Reply via email to