https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120958
--- Comment #19 from Richard Biener <rguenth at gcc dot gnu.org> --- Note the fnspec would also affects scalars passed by reference, so depending on how exactly the frontend infers it testcases that are "miscompiled" by functions stowing away a reference to the passed object and another function modifying it can be much simpler than cases involving explicit or assumed size arrays.
