https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81022
--- Comment #3 from Vladimir Sedach <vvsed at hotmail dot com> --- (In reply to Richard Biener from comment #1) > > So I'd say INVALID but x86 people may want to double-check the official > intrinsic documentation. I was using _mm_store_sd(_mm_load_sd()) to copy an arbitrary 8-byte struct, and came across this situation incidentally. If I'm modifying the code a little (with remaining _mm_store_sd()), it starts working correctly. I think 99% of programmers (me too) are sure this code is "correct" and have never heard of __may_alias__ :)
