[Bug sanitizer/79265] [7 regression] -fsanitize=undefined inserts unnecessary null pointer tests

[jakub at gcc dot gnu.org]

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.