From: Jakub Jelinek <jakub@redhat.com>
Date: Wed, 22 Mar 2017 18:35:43 +0000 (+0100)
Subject: re PR sanitizer/80110 (error: statement marked for throw, but doesn’t w/ -fsanitize... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0e2468e0ca0ad2e7adc0098f6a4061be7475fdc1;p=gcc.git

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
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 2721da3a36d..a1e007f118d 100644
--- 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 6d053a4af93..3f0eb2f5398 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.