This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug sanitizer/80998] Implement -fsanitize=pointer-overflow
- From: "marxin at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Wed, 14 Jun 2017 08:04:54 +0000
- Subject: [Bug sanitizer/80998] Implement -fsanitize=pointer-overflow
- Auto-submitted: auto-generated
- References: <bug-80998-4@http.gcc.gnu.org/bugzilla/>
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.