https://gcc.gnu.org/bugzilla/show_bug.cgi?id=41453
--- Comment #7 from Thomas Koenig <tkoenig at gcc dot gnu.org> --- Also still to do: Do some more precise clobbering for the case of PR88364, i.e. for call foo(a&x) clobber a%x, which is currently not done.