Strict aliasing violations are quite simple for a static analysis program to find and report.<p>&gt; I do know the strict aliasing rules quite well.<p>Not well enough, if you think what you wrote above (&quot;memcpy or malloc cannot legally be written in C without breaking this behavior&quot;) is true.