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
bearophile via Digitalmars-d-learn Sun, 28 Dec 2014 12:30:33 -0800
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