https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103061
Aldy Hernandez <aldyh at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Assignee|unassigned at gcc dot gnu.org |aldyh at gcc dot gnu.org
--- Comment #14 from Aldy Hernandez <aldyh at gcc dot gnu.org> ---
So yeah, we are killing the relation in the *path* oracle:
Registering killing_def (path_oracle) M.10_120
range_defined_in_block (BB20) for M.10_120 is integer(kind=4) [4, +INF]
but the _134 > M.10_120 relation came from the *root* oracle (i.e. outside of
the path). It seems we must keep track of killed names along the path, and
never query the root oracle for those.
So...mine.
