commit 0df1ee083434ac00ecb19582b1e5b25e105981b2
author David Malcolm <dmalcolm@redhat.com> Thu May 09 13:09:28 2024 -0400
committer David Malcolm <dmalcolm@redhat.com> Thu May 09 13:09:28 2024 -0400
tree 773a2ba5025f7554f56dcec9ef4c56eb033b6673
parent 60dcb710b6b4aa22ea96abc8df6dfe9067f3d7fe

analyzer: fix ICE on division of tainted floating-point values [PR110700]

gcc/analyzer/ChangeLog:
	PR analyzer/110700
	* region-model-manager.cc
	(region_model_manager::get_or_create_int_cst): Assert that we have
	an integral or pointer type.
	* sm-taint.cc (taint_state_machine::check_for_tainted_divisor):
	Don't check non-integral types.

gcc/testsuite/ChangeLog:
	PR analyzer/110700
	* gcc.dg/analyzer/taint-divisor-2.c: New test.

(cherry picked from commit r14-2658-gb86c0fe327a519)

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