diff options
author | Marek Polacek <polacek@redhat.com> | 2013-12-02 20:39:25 +0000 |
---|---|---|
committer | Marek Polacek <mpolacek@gcc.gnu.org> | 2013-12-02 20:39:25 +0000 |
commit | cdb02ac74387e9c4accde71a8710f5896175b341 (patch) | |
tree | 2736d8b08b195d96cfeb0805f690fdef73bd9bde | |
parent | 52cacf7207de329a48b63f1a4cf1cb3cef37fdea (diff) | |
download | gcc-cdb02ac74387e9c4accde71a8710f5896175b341.zip gcc-cdb02ac74387e9c4accde71a8710f5896175b341.tar.gz gcc-cdb02ac74387e9c4accde71a8710f5896175b341.tar.bz2 |
re PR sanitizer/59353 (-fsanitize=return is not documented)
PR sanitizer/59353
* doc/invoke.texi: Document -fsanitize=return.
From-SVN: r205601
-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, |