5.1.3.4 Aliasing Using Effective Type

The compiler neither checks for aliased types, nor performs any optimizations that could fail as a result of aliased types.