https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84340
--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> --- (In reply to Richard Biener from comment #5) > 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. Ah, no, in this case it is the EAF_DIRECT. But I'm not sure how ASAN works here....