From: Marek Polacek Date: Mon, 2 Dec 2013 20:39:25 +0000 (+0000) Subject: re PR sanitizer/59353 (-fsanitize=return is not documented) X-Git-Tag: releases/gcc-4.9.0~2327 X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=cdb02ac74387e9c4accde71a8710f5896175b341;p=thirdparty%2Fgcc.git 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 3402f6dcb040..1285f237f988 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2013-12-02 Marek Polacek + + PR sanitizer/59353 + * doc/invoke.texi: Document -fsanitize=return. + 2013-12-02 Tobias Burnus Manuel López-Ibáñez diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi index 3f29269f4506..b30e889764d4 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,