https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119733
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|FIXED |INVALID
--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
>From Richard B.'s email
"So ultimatively the abstract machine knows
the alignment of objects from their declaration (DECL_ALIGN) or the
allocation (malloc, etc.) and that of pointers by tracking their provenance.
So in the end alignment checking is similarly difficult as verifying actual
TBAA constraints (tracking the active dynamic type of every memory location)"
He didn't mention that strict aliasing turns off the alignment requirement and
it does not in gimple semantics.
The output even before store merging from the SLP vectorizer also has the same
semantics here. Since we went from an alignment of 8bit to 16 bits.
