https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62307
Martin Sebor <msebor at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2018-09-14
CC| |msebor at gcc dot gnu.org
Ever confirmed|0 |1
--- Comment #6 from Martin Sebor <msebor at gcc dot gnu.org> ---
I would have expected to be able to suppress the null checks in the caller with
the no_sanitize attribute on the declaration of the called function but it
seems that the attribute applies to the function definition and doesn't affect
its callers. (Whether that's how it's meant to work isn't clear from the
manual.) So with that I'll confirm this request. It seems to me that it
should be possible to avoid these checks, either with the no_sanitize
attribute, or under some new option.
