This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug sanitizer/79265] [7 regression] -fsanitize=undefined inserts unnecessary null pointer tests
- From: "jakub at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Wed, 05 Apr 2017 14:01:50 +0000
- Subject: [Bug sanitizer/79265] [7 regression] -fsanitize=undefined inserts unnecessary null pointer tests
- Auto-submitted: auto-generated
- References: <bug-79265-4@http.gcc.gnu.org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79265
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |law at gcc dot gnu.org
--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
What we could do is disable jump threading basic blocks that contain the cold
sanitizer builtins, i.e. in between BEGIN_SANITIZER_BUILTINS and
END_SANITIZER_BUILTINS if they have cold attribute (which is really undesirable
in any case, such jump threading only grows the cold section unnecessarily).
Or move the warning earlier such that it doesn't warn on code after threading,
though that is likely not GCC7 material.