diff options
author | Marek Polacek <polacek@redhat.com> | 2013-09-18 10:01:40 +0000 |
---|---|---|
committer | Marek Polacek <mpolacek@gcc.gnu.org> | 2013-09-18 10:01:40 +0000 |
commit | ce6923c53da68bc3e0eabb1d071217402a104148 (patch) | |
tree | 03f7c27c5287577987f7b1ef007495fd35f4beb0 /gcc/doc/extend.texi | |
parent | d30d00a2f1851cf6e6fe3b392a90b10e54388c20 (diff) | |
download | gcc-ce6923c53da68bc3e0eabb1d071217402a104148.zip gcc-ce6923c53da68bc3e0eabb1d071217402a104148.tar.gz gcc-ce6923c53da68bc3e0eabb1d071217402a104148.tar.bz2 |
re PR sanitizer/58411 (no_sanitize_undefined function attribute)
2013-09-18 Marek Polacek <polacek@redhat.com>
PR sanitizer/58411
* doc/extend.texi: Document no_sanitize_undefined attribute.
* builtins.c (fold_builtin_0): Don't sanitize function if it has the
no_sanitize_undefined attribute.
From-SVN: r202682
Diffstat (limited to 'gcc/doc/extend.texi')
-rw-r--r-- | gcc/doc/extend.texi | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/doc/extend.texi b/gcc/doc/extend.texi index cb0306b..1d0dfbe 100644 --- a/gcc/doc/extend.texi +++ b/gcc/doc/extend.texi @@ -2136,6 +2136,7 @@ attributes are currently defined for functions on all targets: @code{warn_unused_result}, @code{nonnull}, @code{gnu_inline}, @code{externally_visible}, @code{hot}, @code{cold}, @code{artificial}, @code{no_sanitize_address}, @code{no_address_safety_analysis}, +@code{no_sanitize_undefined}, @code{error} and @code{warning}. Several other attributes are defined for functions on particular target systems. Other attributes, including @code{section} are @@ -3500,6 +3501,12 @@ The @code{no_address_safety_analysis} is a deprecated alias of the @code{no_sanitize_address} attribute, new code should use @code{no_sanitize_address}. +@item no_sanitize_undefined +@cindex @code{no_sanitize_undefined} function attribute +The @code{no_sanitize_undefined} attribute on functions is used +to inform the compiler that it should not check for undefined behavior +in the function when compiling with the @option{-fsanitize=undefined} option. + @item regparm (@var{number}) @cindex @code{regparm} attribute @cindex functions that are passed arguments in registers on the 386 |