re PR sanitizer/59353 (-fsanitize=return is not documented)

	PR sanitizer/59353
	* doc/invoke.texi: Document -fsanitize=return.

From-SVN: r205601

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 3402f6dcb040c2c8ef1848a12a6247a95e249b3a..1285f237f988170e97a796c82ce551493feb0dc7 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2013-12-02  Marek Polacek  <polacek@redhat.com>
+
+       PR sanitizer/59353
+       * doc/invoke.texi: Document -fsanitize=return.
+
 2013-12-02  Tobias Burnus  <burnus@net-b.de>
            Manuel López-Ibáñez  <manu@gcc.gnu.org>
 

diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi
index 3f29269f45064850734d284b836ed8ecac4fac35..b30e889764d406379f9819114090b8fe6710d7b0 100644 (file)
--- a/gcc/doc/invoke.texi
+++ b/gcc/doc/invoke.texi
@@ -5355,6 +5355,14 @@ built with this option turned on will issue an error message when it
 tries to dereference a NULL pointer, or if a reference (possibly an
 rvalue reference) is bound to a NULL pointer.
 
+@item -fsanitize=return
+@opindex fsanitize=return
+
+This option enables return statement checking.  Programs
+built with this option turned on will issue an error message
+when the end of a non-void function is reached without actually
+returning a value.  This option works in C++ only.
+
 @end table
 
 While @option{-ftrapv} causes traps for signed overflows to be emitted,