diff --git a/gcc/ChangeLog b/gcc/ChangeLog index b5c5936b5e91ec3a0c09dcbed71ea181cf0bb229..1b90aa4721b61a217466c96b26d3122878323c4f 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,12 @@ +2015-01-03 Sandra Loosemore <sandra@codesourcery.com> + + * doc/invoke.texi ([-fisolate-erroneous-paths-dereference]): + Copy-edit description. + ([-fisolate-erroneous-paths-attribute]): Likewise. + * common.opt (fisolate-erroneous-paths-dereference): + Copy-edit description. + (fisolate-erroneous-paths-attribute): Likewise. + 2015-01-03 Sandra Loosemore <sandra@codesourcery.com> * doc/invoke.texi ([-fsemantic-interposition]): Fix typos and diff --git a/gcc/common.opt b/gcc/common.opt index 27532d5a657319d485f4e052ad68a0b2d4ad405d..20d4ec7a5f8582ac1e5ee70c2fde6e8894430482 100644 --- a/gcc/common.opt +++ b/gcc/common.opt @@ -2241,16 +2241,16 @@ Enable string length optimizations on trees fisolate-erroneous-paths-dereference Common Report Var(flag_isolate_erroneous_paths_dereference) Optimization -Detect paths which trigger erroneous or undefined behaviour due to -dereferencing a NULL pointer. Isolate those paths from the main control -flow and turn the statement with erroneous or undefined behaviour into a trap. +Detect paths that trigger erroneous or undefined behavior due to +dereferencing a null pointer. Isolate those paths from the main control +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 which trigger erroneous or undefined behaviour due a NULL value -being used in a way which is forbidden by a returns_nonnull or nonnull +Detect paths that trigger erroneous or undefined behavior due 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 behaviour into a trap. +statement with erroneous or undefined behavior into a trap. ftree-loop-distribution Common Report Var(flag_tree_loop_distribution) Optimization diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi index 434790d24582fee7ee6f31fe945764ff49f4aa0d..296fb4dfec8a695cffbfbe6cf1c94119afe83624 100644 --- a/gcc/doc/invoke.texi +++ b/gcc/doc/invoke.texi @@ -8234,17 +8234,18 @@ This flag is enabled by default at @option{-O2} and @option{-Os}. @item -fisolate-erroneous-paths-dereference @opindex fisolate-erroneous-paths-dereference -Detect paths which trigger erroneous or undefined behaviour due to -dereferencing a NULL pointer. Isolate those paths from the main control -flow and turn the statement with erroneous or undefined behaviour into a trap. +Detect paths that trigger erroneous or undefined behavior due to +dereferencing a null pointer. Isolate those paths from the main control +flow and turn the statement with erroneous or undefined behavior into a trap. +This flag is enabled by default at @option{-O2} and higher. @item -fisolate-erroneous-paths-attribute @opindex fisolate-erroneous-paths-attribute -Detect paths which trigger erroneous or undefined behaviour due a NULL value -being used in a way which is forbidden by a @code{returns_nonnull} or @code{nonnull} +Detect paths that trigger erroneous or undefined behavior due 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 behaviour into a trap. This is not -currently enabled, but may be enabled by @code{-O2} in the future. +statement with erroneous or undefined behavior into a trap. This is not +currently enabled, but may be enabled by @option{-O2} in the future. @item -ftree-sink @opindex ftree-sink