https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106280
--- Comment #2 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:5e47c9333df6df1aa9da861f07e68f985d7d28fb commit r13-1737-g5e47c9333df6df1aa9da861f07e68f985d7d28fb Author: Andrew MacLeod <amacl...@redhat.com> Date: Thu Jul 14 12:35:55 2022 -0400 Check if transitives need to be registered. Whenever a relation is added, register_transitive is always called. If neither operand was in a relation before, or this is not a new relation, then there is no need to register transitives. PR tree-optimization/106280 * value-relation.cc (dom_oracle::register_relation): Register transitives only when it is possible for there to be one. (dom_oracle::set_one_relation): Return NULL if this is an existing relation.