diff options
| author | Bernd Edlinger <bernd.edlinger@hotmail.de> | 2015-01-21 18:08:42 +0000 |
|---|---|---|
| committer | Bernd Edlinger <edlinger@gcc.gnu.org> | 2015-01-21 18:08:42 +0000 |
| commit | 2f3c4b6968e969001578fddc4fac848b8726dde3 (patch) | |
| tree | a28bfc2b90509e1767f3e542d283a603e77432da | |
| parent | b6b782b967c8b3cdd1bcb3f6a8aa5581be86ffd7 (diff) | |
| download | gcc-2f3c4b6968e969001578fddc4fac848b8726dde3.zip gcc-2f3c4b6968e969001578fddc4fac848b8726dde3.tar.gz gcc-2f3c4b6968e969001578fddc4fac848b8726dde3.tar.bz2 | |
gimplify.c (gimplify_function_tree): Check the no_sanitize_thread decl attribute.
gcc/ChangeLog:
2015-01-21 Bernd Edlinger <bernd.edlinger@hotmail.de>
* gimplify.c (gimplify_function_tree): Check the no_sanitize_thread
decl attribute.
gcc/testsuite/ChangeLog
2015-01-21 Bernd Edlinger <bernd.edlinger@hotmail.de>
* gcc/testsuite/c-c++-common/tsan/step.c: New testcase.
From-SVN: r219961
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/gimplify.c | 3 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/c-c++-common/tsan/step.c | 15 |
4 files changed, 26 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index a08d231..1c0a45e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2015-01-21 Bernd Edlinger <bernd.edlinger@hotmail.de> + + * gimplify.c (gimplify_function_tree): Check the no_sanitize_thread + decl attribute. + 2015-01-21 David Sherwood <david.sherwood@arm.com> Tejas Belagod <Tejas.Belagod@arm.com> diff --git a/gcc/gimplify.c b/gcc/gimplify.c index 947b0af..1353ada 100644 --- a/gcc/gimplify.c +++ b/gcc/gimplify.c @@ -9258,7 +9258,8 @@ gimplify_function_tree (tree fndecl) bind = new_bind; } - if (flag_sanitize & SANITIZE_THREAD) + if ((flag_sanitize & SANITIZE_THREAD) != 0 + && !lookup_attribute ("no_sanitize_thread", DECL_ATTRIBUTES (fndecl))) { gcall *call = gimple_build_call_internal (IFN_TSAN_FUNC_EXIT, 0); gimple tf = gimple_build_try (seq, call, GIMPLE_TRY_FINALLY); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index f679c04..e1a4ce8 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2015-01-21 Bernd Edlinger <bernd.edlinger@hotmail.de> + + * gcc/testsuite/c-c++-common/tsan/step.c: New testcase. + 2015-01-21 Christophe Lyon <christophe.lyon@linaro.org> * gcc.target/aarch64/advsimd-intrinsics/vqdmull_n.c: New file. diff --git a/gcc/testsuite/c-c++-common/tsan/step.c b/gcc/testsuite/c-c++-common/tsan/step.c new file mode 100644 index 0000000..ce9edd4 --- /dev/null +++ b/gcc/testsuite/c-c++-common/tsan/step.c @@ -0,0 +1,15 @@ +/* { dg-do compile } */ + +extern int sched_yield (void); +static volatile int serial = 0; + +__attribute__((no_sanitize_thread)) +void step (int i) +{ + while (__atomic_load_n (&serial, __ATOMIC_ACQUIRE) != i - 1) + sched_yield (); + __atomic_store_n (&serial, i, __ATOMIC_RELEASE); +} + +/* { dg-final { scan-assembler-not "__tsan_func_entry" } } */ +/* { dg-final { scan-assembler-not "__tsan_func_exit" } } */ |