[Bug analyzer/124433] [16 Regression] ICE: in maybe_get_value_range, at analyzer/svalue.h:200 with -fanalyzer and modulo by zero

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

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

--- Comment #3 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by David Malcolm <dmalc...@gcc.gnu.org>:

https://gcc.gnu.org/g:54ee3bfa3bcea520728ada5654089f02fc508a1f

commit r16-8018-g54ee3bfa3bcea520728ada5654089f02fc508a1f
Author: David Malcolm <dmalc...@redhat.com>
Date:   Wed Mar 11 20:45:29 2026 -0400

    analyzer: fix ICE on effective modulo by zero [PR124433]

    gcc/analyzer/ChangeLog:
            PR analyzer/124433
            * region-model-manager.cc
            (region_model_manager::maybe_fold_binop): When checking for
            division by zero, use the value range of the divisor, rather
            than merely checking for constant 0.
            * region-model.cc (region_model::get_gassign_result): Likewise.

    gcc/testsuite/ChangeLog:
            PR analyzer/124433
            * gcc.dg/analyzer/divide-by-zero-ice-pr124433.c: New test.

    Signed-off-by: David Malcolm <dmalc...@redhat.com>