diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2022-07-20 20:36:54 +0200 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@redhat.com> | 2022-07-24 17:00:50 +0200 |
| commit | 4a36b4e1fe405fe347d57c39f8e23ac8a6c57263 (patch) | |
| tree | 64c4d9700076230723677fa2fef3ee1fea8c7768 /gcc/value-range.h | |
| parent | e850c98f1f06721126606ad3439d7cd9393c687c (diff) | |
| download | gcc-4a36b4e1fe405fe347d57c39f8e23ac8a6c57263.zip gcc-4a36b4e1fe405fe347d57c39f8e23ac8a6c57263.tar.gz gcc-4a36b4e1fe405fe347d57c39f8e23ac8a6c57263.tar.bz2 | |
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.
Diffstat (limited to 'gcc/value-range.h')
0 files changed, 0 insertions, 0 deletions