https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103427
--- Comment #8 from Jakub Jelinek <jakub at gcc dot gnu.org> --- (In reply to Richard Biener from comment #6) > Is the case important enough to worry about? Actual accesses will be > assumed to be aligned according to the type. > > But sure, we could in theory special-case REFERENCE_TYPE in CCP. Does any > other frontend use REFERENCE_TYPE? Fortran and Ada do. For Fortran it is used for dummy arguments passed by reference (most of them), but whether that implies the reference must be well aligned or not, I don't know. For Ada no idea. Also, "this" in methods doesn't have a reference type, even though it actually works more like a reference than pointer.
