diff options
| author | Andrew Pinski <quic_apinski@quicinc.com> | 2024-02-18 14:14:23 -0800 |
|---|---|---|
| committer | Andrew Pinski <quic_apinski@quicinc.com> | 2024-02-19 12:40:27 -0800 |
| commit | d70facd54a576faca1bfba96e92e1475e0da22a3 (patch) | |
| tree | 9da157216199f589e097921b4ecdbfd94f9b7057 /gcc/testsuite/c-c++-common/analyzer | |
| parent | 1609fdff16f17ead37666f6d0e801800ee3d04d2 (diff) | |
| download | gcc-d70facd54a576faca1bfba96e92e1475e0da22a3.zip gcc-d70facd54a576faca1bfba96e92e1475e0da22a3.tar.gz gcc-d70facd54a576faca1bfba96e92e1475e0da22a3.tar.bz2 | |
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_apinski@quicinc.com>
Diffstat (limited to 'gcc/testsuite/c-c++-common/analyzer')
0 files changed, 0 insertions, 0 deletions