]> git.ipfire.org Git - thirdparty/gcc.git/commit
Kill second order relations in the path solver.
authorAldy Hernandez <aldyh@redhat.com>
Wed, 27 Oct 2021 14:24:53 +0000 (16:24 +0200)
committerAldy Hernandez <aldyh@redhat.com>
Wed, 27 Oct 2021 18:14:15 +0000 (20:14 +0200)
commit9f4edfc1fb80211f8663f978b7144e7e9d9df743
tree8bec933a210a7686220ac5530158ccb25000b26a
parenta1957c9755418f0f45a0bac296f61f486952960e
Kill second order relations in the path solver.

My upcoming work replacing the VRP threaders with a fully resolving
backward threader has tripped over various corner cases in the path
sensitive relation oracle.  This patch kills second order relations when
we kill a relation.

Tested on x86-64 and ppc64le Linux.

Co-authored-by: Andrew MacLeod <amacleod@redhat.com>
gcc/ChangeLog:

* value-relation.cc (path_oracle::killing_def): Kill second
order relations.
gcc/value-relation.cc