Found through Reddit. A nice incomplete list that specifies a "friendly C" that replaces many occurrences of "X has undefined behavior" with "X results in an unspecified value":

http://blog.regehr.org/archives/1180

But I agree with one comment:

memcpy and memmove ought to remain distinct, but I think that an overlapping memcpy ought to result in unspecified garbage being written rather than undefined behavior.<

Bye,
bearophile

Reply via email to