Skip to content
Snippets Groups Projects
Commit d70facd5 authored by Andrew Pinski's avatar Andrew Pinski
Browse files

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: default avatarAndrew Pinski <quic_apinski@quicinc.com>
parent 1609fdff
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment