[Bug analyzer/110455] [14 Regression] tree check: expected none of vector_type, have vector_type in get_gassign_result, at analyzer/region-model.cc:870 with -fanalyzer

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

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

--- Comment #1 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:a4913a19d24a794c97f38d9c65c47c1fb9f2140c

commit r14-2690-ga4913a19d24a794c97f38d9c65c47c1fb9f2140c
Author: David Malcolm <dmalc...@redhat.com>
Date:   Thu Jul 20 20:24:10 2023 -0400

    analyzer: avoid usage of TYPE_PRECISION on vector types [PR110455]

    gcc/analyzer/ChangeLog:
            PR analyzer/110455
            * region-model.cc (region_model::get_gassign_result): Only check
            for bad shift counts when dealing with an integral type.

    gcc/testsuite/ChangeLog:
            PR analyzer/110455
            * gcc.dg/analyzer/pr110455.c: New test.

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