Only add equivalencies that are still valid.
authorAndrew MacLeod <amacleod@redhat.com>
Tue, 18 Jan 2022 17:42:02 +0000 (12:42 -0500)
committerAndrew MacLeod <amacleod@redhat.com>
Thu, 20 Jan 2022 15:26:01 +0000 (10:26 -0500)
commit6b73c07ec2e836a5cf7bacd6c7257fb8512c681e
treea7225e8ce5868c713a0bfad087ef8fe026030acd
parent09845ad7569bac27c3a1dc7b410d9df764d2ca06
Only add equivalencies that are still valid.

When equivalencies sets are merged, each member of the set should be queried
to ensure its still valid rather than a bulk union.

* value-relation.cc (relation_oracle::valid_equivs): Query and add
if valid members of a set.
(equiv_oracle::register_equiv): Call valid_equivs rather than
bitmap direct operations.
(path_oracle::register_equiv): Ditto.
* value-relation.h (relation_oracle::valid_equivs): New prototype.
gcc/value-relation.cc
gcc/value-relation.h