Check for equivalence after merging relations.
authorAndrew MacLeod <amacleod@redhat.com>
Tue, 17 May 2022 13:36:39 +0000 (09:36 -0400)
committerAndrew MacLeod <amacleod@redhat.com>
Wed, 18 May 2022 14:07:29 +0000 (10:07 -0400)
commit9c8125b98cdd406fbad09995529a5c6acffdd928
tree92a37dcd498ca81a305db271a50947d0c3017125
parenta048e606e6036258b98fabf9ae31a2e8a17169d4
Check for equivalence after merging relations.

When registering a relation, we need to merge with any existing relation
before checking if it was an equivalence... otherwise it was not being
handled properly.

gcc/
PR tree-optimization/105458
* value-relation.cc (path_oracle::register_relation): Merge, then check
for equivalence.

gcc/testsuite/
* gcc.dg/pr105458.c: New.
gcc/testsuite/gcc.dg/pr105458.c [new file with mode: 0644]
gcc/value-relation.cc