PR sanitizer/59353

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@205601 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 3402f6d..1285f23 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 3f29269..b30e889 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,