]> git.ipfire.org Git - thirdparty/gcc.git/commit
Make some integer specific ranges generic Value_Range's.
authorAldy Hernandez <aldyh@redhat.com>
Tue, 19 Mar 2024 17:22:08 +0000 (18:22 +0100)
committerAldy Hernandez <aldyh@redhat.com>
Sun, 28 Apr 2024 19:03:00 +0000 (21:03 +0200)
commitc284f8d2d16ce9c29defce3329419ccc54605ad4
treeb2033a83a6eabf935a3bf7665fb85100e2b9cb75
parent2caf7a50a6a9de80d2767d82b8cdb69d63469aaf
Make some integer specific ranges generic Value_Range's.

There are some irange uses that should be Value_Range, because they
can be either integers or pointers.  This will become a problem when
prange comes live.

gcc/ChangeLog:

* tree-ssa-loop-split.cc (split_at_bb_p): Make int_range a Value_Range.
* tree-ssa-strlen.cc (get_range): Same.
* value-query.cc (range_query::get_tree_range):  Handle both
integers and pointers.
* vr-values.cc (simplify_using_ranges::fold_cond_with_ops): Make
r0 and r1 Value_Range's.
gcc/tree-ssa-loop-split.cc
gcc/tree-ssa-strlen.cc
gcc/value-query.cc
gcc/vr-values.cc