Allow registering same SSA name relations in oracle.
authorAldy Hernandez <aldyh@redhat.com>
Wed, 20 Jul 2022 18:36:54 +0000 (20:36 +0200)
committerAldy Hernandez <aldyh@redhat.com>
Sun, 24 Jul 2022 15:00:50 +0000 (17:00 +0200)
commit4a36b4e1fe405fe347d57c39f8e23ac8a6c57263
tree64c4d9700076230723677fa2fef3ee1fea8c7768
parente850c98f1f06721126606ad3439d7cd9393c687c
Allow registering same SSA name relations in oracle.

Similarly to what we did for the relation oracle, but for the path
oracle.  This was found while working on frange, where we can test for
x == x while checking for NANness.

Tested on x86-64 Linux.

gcc/ChangeLog:

* value-relation.cc (value_relation::set_relation): Remove assert.
(path_oracle::register_relation): Exit when trying to register
same SSA name relations.
gcc/value-relation.cc