https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103427
--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Jakub Jelinek from comment #3) > I'm not sure if we can rely on this for non-C++ FEs though, so perhaps a > langhook that we use during evrp on (D) SSA_NAME of PARM_DECLs and ask the > FE whether it guarantees some alignment for those (aka pretend there is a > virtual __builtin_assume_aligned for those)? Yes, it looks like Clang does it by decorating the 'this' pointer in the FE: // Apply `nonnull`, `dereferencable(N)` and `align N` to the `this` argument. Maybe something can be done in the G++ FE when member functions use 'this' and when binding a reference?
