https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85365
Martin Sebor <msebor at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
Assignee|unassigned at gcc dot gnu.org |msebor at gcc dot
gnu.org
--- Comment #5 from Martin Sebor <msebor at gcc dot gnu.org> ---
Simply avoiding -Wrestrict for null arguments would be a simple workaround for
this case. Beyond that and your other suggestions in comment #4, improving
jump threading would be worthwhile not just to avoid interactions with the
sanitizers but in general.
Let me put together a patch with the first change for now and see about the
threader improvements in GCC 9.
