https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101511
--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Andrew Macleod <amacl...@gcc.gnu.org>: https://gcc.gnu.org/g:d3fa77472b78c5ddada03a1052b229bea11cb76f commit r12-2466-gd3fa77472b78c5ddada03a1052b229bea11cb76f Author: Andrew MacLeod <amacl...@redhat.com> Date: Mon Jul 19 15:54:57 2021 -0400 Allow non-symmetrical equivalences. Don't trap if equivalences are processed out of DOM order, and aren't completely symmetrical. We will eventually resolve this, but its OK for now. gcc/ PR tree-optimization/101511 * value-relation.cc (relation_oracle::query_relation): Check if ssa1 is in ssa2's equiv set, and don't trap if so. gcc/testsuite/ * g++.dg/pr101511.C: New.