On Wed, Sep 24, 2025 at 8:51 AM Xi Ruoyao <[email protected]> wrote:
>
> And this behavior is not limited to -fdelete-null-pointer-checks.
OK.
Richard.
> gcc/
>
> PR tree-optimization/122040
> * doc/invoke.texi (-fisolate-erroneous-paths-dereference):
> Mention it also turns division by zero into a trap in addition
> to null dereference.
> ---
>
> Ok for trunk?
>
> gcc/doc/invoke.texi | 8 ++++----
> 1 file changed, 4 insertions(+), 4 deletions(-)
>
> diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi
> index 2eab5140bc2..5b5b27845ff 100644
> --- a/gcc/doc/invoke.texi
> +++ b/gcc/doc/invoke.texi
> @@ -14359,10 +14359,10 @@ Note that @option{-flive-patching} is not supported
> with link-time optimization
> @opindex fisolate-erroneous-paths-dereference
> @item -fisolate-erroneous-paths-dereference
> 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 and depends on
> -@option{-fdelete-null-pointer-checks} also being enabled.
> +dereferencing a null pointer (with @option{-fdelete-null-pointer-checks}
> +enabled) or a division by zero. 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.
>
> @opindex fisolate-erroneous-paths-attribute
> @item -fisolate-erroneous-paths-attribute
> --
> 2.51.0
>
