Okay, now there are two different topics. (1) I didn't say your example didn't demonstrate a violation, but it misses the point, because it doesn't invoke an i

Okay, now there are two different topics. (1) I didn't say your example didn't demonstrate a violation, but it misses the point, because it doesn't invoke an intermediate void pointer: "A pointer to void may be converted to or from a pointer to any object type. A pointer to any object type may be converted to a pointer to void and back again; the result shall compare equal to the original pointer." (2) That was my attempt at coming up with a good example, but it seems, due to the above clause, the casting between incompatible pointers via void * is technically "legal".