https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108696
--- Comment #1 from Andrew Macleod <amacleod at redhat dot com> --- I think that change will end up missing equivalences and transitives. The m_relation_set bitmap is only used to track non-equivalence relations registered with the oracle. Equivalences are handled separately in the equivalence oracle. The speedup you are seeing is likely because it is bailing on checking for equivalences and transitive relations through equivalences.