https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69352
--- Comment #14 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > How do you ensure that? You could (perhaps through aliasing violation or > union or what) access the same memory slot through two different MEMs, and > if one of them has reverse and the other does not... Indeed, you cannot use type punning to toggle the storage order, or else Bad Things will happen... > Is TYPE_REVERSE_STORAGE_ORDER only used for aggregates, or even scalar types? Only for aggregate types.