[PR c++/106654] Handle non-irange ranges in get_range_global for default defs.

With the upcoming [[assume]] work, Andrew has pointed out that
non-irange ranges are not handled in get_range_global for
SSA_NAME_IS_DEFAULT_DEF.  This patch fixes the oversight.

	PR c++/106654

gcc/ChangeLog:

	* value-query.cc (get_range_global): Handle non integer ranges for
	default def SSA names.
This commit is contained in:
Aldy Hernandez 2022-10-20 18:26:42 +02:00
parent 2e158eae2a
commit d155442de0

View File

@ -343,7 +343,7 @@ get_range_global (vrange &r, tree name)
&& ((cfun && nonnull_arg_p (sym))
|| get_ssa_name_ptr_info_nonnull (name)))
r.set_nonzero (type);
else if (INTEGRAL_TYPE_P (type))
else if (!POINTER_TYPE_P (type))
{
get_ssa_name_range_info (r, name);
if (r.undefined_p ())