https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103405
--- Comment #8 from Jan Hubicka <hubicka at gcc dot gnu.org> --- Created attachment 51868 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=51868&action=edit Patch in testing Good to know that there are no more known modref & Ada problems ;) I recently extended modref to also handle static chains and some problem may pop out... The problem is the IPA pass determining incorrect EAF flags for the static chain (it get NO_INDIRECT_READ which is not true since equal reads indirectly). This is missed propagation of EAF flags for static chain - I missed this spot while extending retslot handling to static chain since retslots does not need this.
