diff options
| author | Sandra Loosemore <sandra@codesourcery.com> | 2015-01-03 19:58:13 -0500 |
|---|---|---|
| committer | Sandra Loosemore <sandra@gcc.gnu.org> | 2015-01-03 19:58:13 -0500 |
| commit | 408e8aa42f496561b0d06df76403eb2c97b7ef5d (patch) | |
| tree | b67e18190000c1915f0cc071c5277d073bcd7749 /gcc/doc | |
| parent | 64e4bae15b1f48ed63b8c42a039a7968b05d3889 (diff) | |
| download | gcc-408e8aa42f496561b0d06df76403eb2c97b7ef5d.zip gcc-408e8aa42f496561b0d06df76403eb2c97b7ef5d.tar.gz gcc-408e8aa42f496561b0d06df76403eb2c97b7ef5d.tar.bz2 | |
invoke.texi ([-fisolate-erroneous-paths-dereference]): Copy-edit description.
2015-01-03 Sandra Loosemore <sandra@codesourcery.com>
gcc/
* 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.
From-SVN: r219170
Diffstat (limited to 'gcc/doc')
| -rw-r--r-- | gcc/doc/invoke.texi | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi index 434790d..296fb4d 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 |