Christopher Lamb wrote:- > It may even be incorrect for the compiler to enforce the semantics of > restrict pointers (with an error), even when the compilers alias > analysis determines that there is a may-alias relationship between to > pointers. An error is an example of undefined behaviour. Neil.