[Bug analyzer/113983] [14 Regression] ICE: tree check: expected integer_cst, have vector_cst in maybe_undo_optimize_bit_field_compare, at analyzer/region-model-manager.cc:606 with -fanalyzer

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

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

--- Comment #3 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The trunk branch has been updated by Andrew Pinski <pins...@gcc.gnu.org>:

https://gcc.gnu.org/g:d70facd54a576faca1bfba96e92e1475e0da22a3

commit r14-9074-gd70facd54a576faca1bfba96e92e1475e0da22a3
Author: Andrew Pinski <quic_apin...@quicinc.com>
Date:   Sun Feb 18 14:14:23 2024 -0800

    analyzer: Fix maybe_undo_optimize_bit_field_compare vs non-scalar types
[PR113983]

    After r14-6419-g4eaaf7f5a378e8, maybe_undo_optimize_bit_field_compare would
ICE on
    vector CST but this function really should be checking if we had integer
types so
    reject non-integral types early on (like it was doing for non-char type
before r14-6419-g4eaaf7f5a378e8).

    Committed as obvious after build and tested for aarch64-linux-gnu with no
regressions.

            PR analyzer/113983

    gcc/analyzer/ChangeLog:

            * region-model-manager.cc (maybe_undo_optimize_bit_field_compare):
Reject
            non integral types.

    gcc/testsuite/ChangeLog:

            * gcc.dg/analyzer/torture/vector-extract-1.c: New test.

    Signed-off-by: Andrew Pinski <quic_apin...@quicinc.com>