https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80998
--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> --- (In reply to Jakub Jelinek from comment #1) > Then what we need and this patch doesn't implement is a sanopt optimization > similer to the UBSAN_NULL opts, if we have checked already ptr + i doesn't > overflow in a dominating stmt, don't check it again, if we have ptr + 10 and > a dominating stmt checked ptr + 15 (i.e. bigger constant), also don't check > it. > Having some experience with the sanopt code, I can help with that.
