[Bug analyzer/105252] [12 Regression] ICE: in cmp_cst, at analyzer/svalue.cc:309 with -O -fanalyzer -fnon-call-exceptions since r12-1931-ge61ffa201403e381

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

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

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

https://gcc.gnu.org/g:03e7ac9021361cfee6cb55ca08638bbb0dab12a9

commit r11-9949-g03e7ac9021361cfee6cb55ca08638bbb0dab12a9
Author: David Malcolm <dmalc...@redhat.com>
Date:   Thu Apr 28 17:42:07 2022 -0400

    analyzer: fix ICE comparing VECTOR_CSTs [PR105252]

    gcc/analyzer/ChangeLog:
            PR analyzer/105252
            * svalue.cc (cmp_cst): When comparing VECTOR_CSTs, compare the
            types of the encoded elements before calling cmp_cst on them.

    gcc/testsuite/ChangeLog:
            PR analyzer/105252
            * gcc.dg/analyzer/pr105252.c: New test.

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