> My compiler will vigorously refuse to compile such nonsense - there > will be no flags to change this > behavior. [ Forgot to Reply-All first time, sorry. ] But how would it deal with: *p + *q++; It can't know in general whether *p and *q denote the same object.