re PR sanitizer/80110 (error: statement marked for throw, but doesn’t w/ -fsanitize...

	PR sanitizer/80110
	* doc/invoke.texi (-fsanitize=thread): Document that with
	-fnon-call-exceptions atomics are not able to throw
	exceptions.

From-SVN: r246400

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 2721da3a36de82869c73bb5d29cf18ad6a013b3a..a1e007f118db8e09ce8fe195ad56ed6c02e24b5a 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,10 @@
 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

diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi
index 6d053a4af9341c4cc18c802bbc2ac25aa1528d53..3f0eb2f5398c4c2b9c0efa6d6e8b9026bf4284dc 100644 (file)
--- 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.