diff options
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/doc/invoke.texi | 8 |
2 files changed, 13 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 3402f6d..1285f23 100644 --- 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 --- 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, |