Commit 408e8aa4 by Sandra Loosemore Committed by Sandra Loosemore

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
parent 64e4bae1
2015-01-03 Sandra Loosemore <sandra@codesourcery.com> 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 * doc/invoke.texi ([-fsemantic-interposition]): Fix typos and
tidy grammar. tidy grammar.
......
...@@ -2241,16 +2241,16 @@ Enable string length optimizations on trees ...@@ -2241,16 +2241,16 @@ Enable string length optimizations on trees
fisolate-erroneous-paths-dereference fisolate-erroneous-paths-dereference
Common Report Var(flag_isolate_erroneous_paths_dereference) Optimization Common Report Var(flag_isolate_erroneous_paths_dereference) Optimization
Detect paths which trigger erroneous or undefined behaviour due to Detect paths that trigger erroneous or undefined behavior due to
dereferencing a NULL pointer. Isolate those paths from the main control dereferencing a null pointer. Isolate those paths from the main control
flow and turn the statement with erroneous or undefined behaviour into a trap. flow and turn the statement with erroneous or undefined behavior into a trap.
fisolate-erroneous-paths-attribute fisolate-erroneous-paths-attribute
Common Report Var(flag_isolate_erroneous_paths_attribute) Optimization Common Report Var(flag_isolate_erroneous_paths_attribute) Optimization
Detect paths which trigger erroneous or undefined behaviour due a NULL value Detect paths that trigger erroneous or undefined behavior due a null value
being used in a way which is forbidden by a returns_nonnull or nonnull being used in a way forbidden by a returns_nonnull or nonnull
attribute. Isolate those paths from the main control flow and turn the 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 ftree-loop-distribution
Common Report Var(flag_tree_loop_distribution) Optimization Common Report Var(flag_tree_loop_distribution) Optimization
......
...@@ -8234,17 +8234,18 @@ This flag is enabled by default at @option{-O2} and @option{-Os}. ...@@ -8234,17 +8234,18 @@ This flag is enabled by default at @option{-O2} and @option{-Os}.
@item -fisolate-erroneous-paths-dereference @item -fisolate-erroneous-paths-dereference
@opindex fisolate-erroneous-paths-dereference @opindex fisolate-erroneous-paths-dereference
Detect paths which trigger erroneous or undefined behaviour due to Detect paths that trigger erroneous or undefined behavior due to
dereferencing a NULL pointer. Isolate those paths from the main control dereferencing a null pointer. Isolate those paths from the main control
flow and turn the statement with erroneous or undefined behaviour into a trap. 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 @item -fisolate-erroneous-paths-attribute
@opindex fisolate-erroneous-paths-attribute @opindex fisolate-erroneous-paths-attribute
Detect paths which trigger erroneous or undefined behaviour due a NULL value Detect paths that trigger erroneous or undefined behavior due a null value
being used in a way which is forbidden by a @code{returns_nonnull} or @code{nonnull} 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 attribute. Isolate those paths from the main control flow and turn the
statement with erroneous or undefined behaviour into a trap. This is not statement with erroneous or undefined behavior into a trap. This is not
currently enabled, but may be enabled by @code{-O2} in the future. currently enabled, but may be enabled by @option{-O2} in the future.
@item -ftree-sink @item -ftree-sink
@opindex ftree-sink @opindex ftree-sink
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment