[Bug analyzer/110700] [12/13 Regression] ICE with -fanalyzer --analyzer-checker=taint on division of tainted floating-point values

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

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

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

https://gcc.gnu.org/g:0df1ee083434ac00ecb19582b1e5b25e105981b2

commit r13-8746-g0df1ee083434ac00ecb19582b1e5b25e105981b2
Author: David Malcolm <dmalc...@redhat.com>
Date:   Thu May 9 13:09:28 2024 -0400

    analyzer: fix ICE on division of tainted floating-point values [PR110700]

    gcc/analyzer/ChangeLog:
            PR analyzer/110700
            * region-model-manager.cc
            (region_model_manager::get_or_create_int_cst): Assert that we have
            an integral or pointer type.
            * sm-taint.cc (taint_state_machine::check_for_tainted_divisor):
            Don't check non-integral types.

    gcc/testsuite/ChangeLog:
            PR analyzer/110700
            * gcc.dg/analyzer/taint-divisor-2.c: New test.

    (cherry picked from commit r14-2658-gb86c0fe327a519)

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