[Bug analyzer/104863] [12 regression] ICE in operator[], at vec.h:889 since r12-6782-gc4b8f3730a800251

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

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

--- Comment #3 from CVS 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:d016dd7dbb8140f03cde7e2179ebaf9ec3e9d2f1

commit r12-7605-gd016dd7dbb8140f03cde7e2179ebaf9ec3e9d2f1
Author: David Malcolm <dmalc...@redhat.com>
Date:   Thu Mar 10 16:52:01 2022 -0500

    analyzer: fix ICE with -fanalyzer-transitivity [PR104863]

    gcc/analyzer/ChangeLog:
            PR analyzer/104863
            * constraint-manager.cc (constraint_manager::add_constraint):
            Refresh the EC IDs when adding constraints implied by offsets.

    gcc/testsuite/ChangeLog:
            PR analyzer/104863
            * gcc.dg/analyzer/torture/pr104863.c: New test.

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