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

gcc/ChangeLog

 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.

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.