Skip to content
Snippets Groups Projects
user avatar
Andrew Pinski authored
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>
d70facd5
History
Name Last commit Last update
..