https://gcc.gnu.org/g:82edaadc6bd0e848219764a00c096d14c7eb9550
commit r16-4072-g82edaadc6bd0e848219764a00c096d14c7eb9550
Author: Xi Ruoyao <xry...@xry111.site>
Date: Wed Sep 24 14:26:11 2025 +0800
docs: Note that -fisolate-erroneous-paths-dereference turns division by
zero into a trap [PR 122040]
And this behavior is not limited to -fdelete-null-pointer-checks.
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.
Diff:
---
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 be9242aa7e42..7ce722d83657 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
