I read lot of things about pointer arithmetic and undefined behavior (link, link, link, link, link). It always ends up to the same conclusion: Pointer arithmetic is well defined only on array type and between array[0] and array[array_size+1] (one element past the end is valid with regard to the C standard).
My question is: Does it means that when the compiler sees a pointer arithmetic not related to any array (undefined behavior), it could …