https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105458
--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-12 branch has been updated by Andrew Macleod <amacl...@gcc.gnu.org>: https://gcc.gnu.org/g:9c8125b98cdd406fbad09995529a5c6acffdd928 commit r12-8393-g9c8125b98cdd406fbad09995529a5c6acffdd928 Author: Andrew MacLeod <amacl...@redhat.com> Date: Tue May 17 09:36:39 2022 -0400 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.
