<<Only if the compiler guarantees that no array will ever be placed across the wrapping boundary. >> I don't understand, pointer incrementation must work through an array regardless. Wrapping is simply not a semantically relevant notion when it comes to pointers.