OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

tsan.c (pass_tsan::gate): Add no_sanitize_thread support.

Browse Source 
* tsan.c (pass_tsan::gate): Add no_sanitize_thread support.
	  (pass_tsan_O0::gate): Likewise.
	* extend.texi (Function Attributes): Add no_sanitize_thread
	  documentation.

	* c-common.c (c_common_attribute_table): Add no_sanitize_thread.

From-SVN: r219355
This commit is contained in:
Mike Stump 2015-01-08 18:56:11 +00:00 committed by Mike Stump
parent de1184c0de
commit de35aa66b0
5 changed files with 27 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gcc/ChangeLog
View File

@ -1,3 +1,10 @@
2015-01-08 Mike Stump <mikestump@comcast.net>
* tsan.c (pass_tsan::gate): Add no_sanitize_thread support.
(pass_tsan_O0::gate): Likewise.
* extend.texi (Function Attributes): Add no_sanitize_thread
documentation.
2015-01-08 Thomas Schwinge <thomas@codesourcery.com>
* builtins.def (DEF_GOMP_BUILTIN): Also consider flag_offload_abi

4
gcc/c-family/ChangeLog
View File

@ -1,3 +1,7 @@
2015-01-08 Mike Stump <mikestump@comcast.net>
* c-common.c (c_common_attribute_table): Add no_sanitize_thread.
2015-01-07 Marek Polacek <polacek@redhat.com>
PR c/64440

3
gcc/c-family/c-common.c
View File

@ -764,6 +764,9 @@ const struct attribute_spec c_common_attribute_table[] =
{ "no_sanitize_address", 0, 0, true, false, false,
handle_no_sanitize_address_attribute,
false },
{ "no_sanitize_thread", 0, 0, true, false, false,
handle_no_sanitize_address_attribute,
false },
{ "no_sanitize_undefined", 0, 0, true, false, false,
handle_no_sanitize_undefined_attribute,
false },

7
gcc/doc/extend.texi
View File

@ -2205,6 +2205,7 @@ attributes are currently defined for functions on all targets:
@code{returns_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_thread},
@code{no_sanitize_undefined}, @code{no_reorder}, @code{bnd_legacy},
@code{bnd_instrument},
@code{error} and @code{warning}.
@ -3721,6 +3722,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_thread
@cindex @code{no_sanitize_thread} function attribute
The @code{no_sanitize_thread} attribute on functions is used
to inform the compiler that it should not instrument memory accesses
in the function when compiling with the @option{-fsanitize=thread} option.
@item no_sanitize_undefined
@cindex @code{no_sanitize_undefined} function attribute
The @code{no_sanitize_undefined} attribute on functions is used

8
gcc/tsan.c
View File

@ -868,7 +868,9 @@ public:
opt_pass * clone () { return new pass_tsan (m_ctxt); }
virtual bool gate (function *)
{
return (flag_sanitize & SANITIZE_THREAD) != 0;
return ((flag_sanitize & SANITIZE_THREAD) != 0
&& !lookup_attribute ("no_sanitize_thread",
DECL_ATTRIBUTES (current_function_decl)));
}
virtual unsigned int execute (function *) { return tsan_pass (); }
@ -908,7 +910,9 @@ public:
/* opt_pass methods: */
virtual bool gate (function *)
{
return (flag_sanitize & SANITIZE_THREAD) != 0 && !optimize;
return ((flag_sanitize & SANITIZE_THREAD) != 0 && !optimize
&& !lookup_attribute ("no_sanitize_thread",
DECL_ATTRIBUTES (current_function_decl)));
}
virtual unsigned int execute (function *) { return tsan_pass (); }