[PATCH] Implement no_sanitize function attribute

[Martin Liška]

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
>