https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81040
--- Comment #9 from Martin Liška <marxin at gcc dot gnu.org> --- Thanks Jakub for your thoughts. I was also thinking about simple approach similar to what we do for use-after-scope in situations where there's a usage of IFN_ASAN_POISON. In that case we generate a 'shadow' variable that's poison/unpoisoned, etc. We can come up with automatic variables to which we assign an addressable PARM_DECL and then these variables will be normally protected with red zones. I can imaging bigger performance gap, but it can be quite easily doable I guess?