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