https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122040
--- Comment #4 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Xi Ruoyao <[email protected]>: https://gcc.gnu.org/g:82edaadc6bd0e848219764a00c096d14c7eb9550 commit r16-4072-g82edaadc6bd0e848219764a00c096d14c7eb9550 Author: Xi Ruoyao <[email protected]> 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.
