This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Implement no_sanitize function attribute
- From: Martin Liška <mliska at suse dot cz>
- To: GCC Patches <gcc-patches at gcc dot gnu dot org>
- Cc: Jakub Jelinek <jakub at redhat dot com>
- Date: Fri, 6 Jan 2017 16:26:34 +0100
- Subject: Re: [PATCH] Implement no_sanitize function attribute
- Authentication-results: sourceware.org; auth=none
- References: <72103b1d-0119-f05d-043d-ca2edf242bf3@suse.cz>
PING^1
On 12/22/2016 02:38 PM, Martin Liška wrote:
> Hello.
>
> As I previously agreed with Jakub, I prepared patch which adds
> no_sanitize function attribute (same what clang support).
>
> That encompasses following changes:
> 1) all no_sanitize_* function attributes are parsed and stored to no_sanitize_flags
> in DECL_ATTRIBUTES
> 2) instead of flag_sanitize & X, let's call sanitize_flags_p (X), where the DECL_ATTRIBUTES
> are checked within the function
> 3) I prepared many test-cases which test every (almost) single sub-option of UBSAN and all
> functions are decorated with no_sanitize attribute disabling all sanitization except the one
> tested in a particular test
> 4) documentation entry is introduced
>
> Misc changes:
> a) I would like to rename SANITIZE_NONDEFAULT to SANITIZE_UNDEFINED_NONDEFAULT
> b) Documentation fix for -sanitize=bounds-strict is added
>
> Patch can bootstrap on ppc64le-redhat-linux and survives regression tests.
>
> Martin
>