diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2022-10-20 18:26:42 +0200 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@redhat.com> | 2022-10-20 21:43:00 +0200 |
| commit | d155442de043c1bef7d27cf2d6be4eba618afcb9 (patch) | |
| tree | 738d3b8b57a36c6d9f1c33a4ed46a01d834c1a95 /gcc | |
| parent | 2e158eae2a9a8e8d57930b1c7355a5e9661932a4 (diff) | |
| download | gcc-d155442de043c1bef7d27cf2d6be4eba618afcb9.zip gcc-d155442de043c1bef7d27cf2d6be4eba618afcb9.tar.gz gcc-d155442de043c1bef7d27cf2d6be4eba618afcb9.tar.bz2 | |
[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.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/value-query.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/value-query.cc b/gcc/value-query.cc index 296784b..e8988ed 100644 --- a/gcc/value-query.cc +++ b/gcc/value-query.cc @@ -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 ()) |