https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84340
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> --- Doens't have anything todo with EAF_DIRECT (which is correct) but POISON has to be marked with reading from the argument as otherwise stores are not kept live.
