From: Martin Liska Date: Thu, 22 Jun 2017 11:17:56 +0000 (+0200) Subject: Backport r247485 X-Git-Tag: releases/gcc-6.4.0~33 X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=dbe39e42f23ab7b267c6bfda6b65a0cd8a4211f6;p=thirdparty%2Fgcc.git Backport r247485 2017-06-22 Martin Liska Backport from mainline 2017-05-02 Martin Liska PR other/80589 * common.opt: Fix typo. * doc/invoke.texi: Likewise. From-SVN: r249519 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 937e6762903c..6f3606eef709 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,12 @@ +2017-06-22 Martin Liska + + Backport from mainline + 2017-05-02 Martin Liska + + PR other/80589 + * common.opt: Fix typo. + * doc/invoke.texi: Likewise. + 2017-06-22 Martin Liska Backport from mainline diff --git a/gcc/common.opt b/gcc/common.opt index 67048db7c9ba..a25557720b56 100644 --- a/gcc/common.opt +++ b/gcc/common.opt @@ -2373,7 +2373,7 @@ flow and turn the statement with erroneous or undefined behavior into a trap. fisolate-erroneous-paths-attribute Common Report Var(flag_isolate_erroneous_paths_attribute) Optimization -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 returns_nonnull or nonnull attribute. Isolate those paths from the main control flow and turn the statement with erroneous or undefined behavior into a trap.