diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2017-03-22 19:35:43 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2017-03-22 19:35:43 +0100 |
| commit | 0e2468e0ca0ad2e7adc0098f6a4061be7475fdc1 (patch) | |
| tree | a5013a585fe090abb155212f655a0376ae13d134 /gcc | |
| parent | f3dd574e54fc67403c7bfe43780401e06e856dde (diff) | |
| download | gcc-0e2468e0ca0ad2e7adc0098f6a4061be7475fdc1.zip gcc-0e2468e0ca0ad2e7adc0098f6a4061be7475fdc1.tar.gz gcc-0e2468e0ca0ad2e7adc0098f6a4061be7475fdc1.tar.bz2 | |
re PR sanitizer/80110 (error: statement marked for throw, but doesn’t w/ -fsanitize=thread)
PR sanitizer/80110
* doc/invoke.texi (-fsanitize=thread): Document that with
-fnon-call-exceptions atomics are not able to throw
exceptions.
From-SVN: r246400
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/doc/invoke.texi | 4 |
2 files changed, 9 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 2721da3..a1e007f 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,6 +1,11 @@ 2017-03-22 Jakub Jelinek <jakub@redhat.com> PR sanitizer/80110 + * doc/invoke.texi (-fsanitize=thread): Document that with + -fnon-call-exceptions atomics are not able to throw + exceptions. + + PR sanitizer/80110 * tsan.c: Include tree-eh.h. (instrument_builtin_call): Call maybe_clean_eh_stmt or maybe_clean_or_replace_eh_stmt where needed. diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi index 6d053a4..3f0eb2f 100644 --- a/gcc/doc/invoke.texi +++ b/gcc/doc/invoke.texi @@ -10761,6 +10761,10 @@ supported options. The option cannot be combined with @option{-fsanitize=address}, @option{-fsanitize=leak} and/or @option{-fcheck-pointer-bounds}. +Note that sanitized atomic builtins cannot throw exceptions when +operating on invalid memory addresses with non-call exceptions +(@option{-fnon-call-exceptions}). + @item -fsanitize=leak @opindex fsanitize=leak Enable LeakSanitizer, a memory leak detector. |