From: Martin Liska Date: Wed, 7 Mar 2018 09:49:11 +0000 (+0100) Subject: Backport r257803 X-Git-Tag: releases/gcc-6.5.0~466 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6044d85ce26047bc2a32fbae479b1768baf69dfc;p=thirdparty%2Fgcc.git Backport r257803 2018-03-07 Martin Liska Backport from mainline 2018-02-19 Martin Liska PR other/80589 * doc/invoke.texi: Fix typo. * params.def (PARAM_MAX_LOOP_HEADER_INSNS): Likewise. From-SVN: r258331 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index c310c8919bc8..a7526091cb8c 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,12 @@ +2018-03-07 Martin Liska + + Backport from mainline + 2018-02-19 Martin Liska + + PR other/80589 + * doc/invoke.texi: Fix typo. + * params.def (PARAM_MAX_LOOP_HEADER_INSNS): Likewise. + 2018-03-07 Martin Liska Backport from mainline diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi index b066f7bd419b..dbd019f2c79a 100644 --- a/gcc/doc/invoke.texi +++ b/gcc/doc/invoke.texi @@ -7278,7 +7278,7 @@ This flag is enabled by default at @option{-O2} and higher and depends on @item -fisolate-erroneous-paths-attribute @opindex fisolate-erroneous-paths-attribute -Detect paths that trigger erroneous or undefined behavior due a null value +Detect paths that trigger erroneous or undefined behavior due to a null value being used in a way forbidden by a @code{returns_nonnull} or @code{nonnull} attribute. Isolate those paths from the main control flow and turn the statement with erroneous or undefined behavior into a trap. This is not