[Bug tree-optimization/95801] Optimiser does not exploit the fact that an integer divisor cannot be zero

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95801

--- Comment #5 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Andrew Macleod <amacl...@gcc.gnu.org>:

https://gcc.gnu.org/g:9a467c2ceaa680a3b54a7bc20e6bb6c3f8a47004

commit r16-245-g9a467c2ceaa680a3b54a7bc20e6bb6c3f8a47004
Author: Andrew MacLeod <amacl...@redhat.com>
Date:   Tue Jan 21 11:49:12 2025 -0500

    Infer non-zero for integral division RHS.

    Adding op2_range for operator_div allows ranger to notice the divisor
    is non-zero after execution.

            PR tree-optimization/95801
            gcc/
            * range-op.cc (operator_div::op2_range): New.

            gcc/testsuite/
            * gcc.dg/tree-ssa/pr95801.c: New.