[Bug analyzer/124188] [15/16 Regression] ICE: in get_or_create_int_cst, at analyzer/region-model-manager.cc:245 with -fanalyzer and vector arithmetics

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

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

--- Comment #2 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:fdc38baeea75976e967626532fd45553db8560f0

commit r16-7672-gfdc38baeea75976e967626532fd45553db8560f0
Author: David Malcolm <dmalc...@redhat.com>
Date:   Tue Feb 24 17:16:59 2026 -0500

    analyzer: fix ICE on (X + (-X)) for vectors [PR124188]

    gcc/analyzer/ChangeLog:
            PR analyzer/124188
            * region-model-manager.cc
            (region_model_manager::maybe_fold_binop): Don't attempt to fold
            X + (-X) to zero for vector types.

    gcc/testsuite/ChangeLog:
            PR analyzer/124188
            * c-c++-common/analyzer/vector-ice-pr124188.c: New test.

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