https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106558
--- Comment #11 from Yuri Gribov <tetra2005 at gmail dot com> --- Created attachment 53493 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=53493&action=edit Updated patch Here is an updated patch which passes bootstrap-asan (I haven't run the testsuite yet). It results in only small 0.15% reduction of optimized checks (146062 -> 145824). But more importantly the complicated alias oracle check does not seem to contribute anything - removing it from same_value_p function (the name is ugly, I know) does not change the number of optimized checks. So I'm not sure it makes sense to keep it in final patch.