https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122898
--- Comment #7 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Andrew Macleod <[email protected]>: https://gcc.gnu.org/g:d597daf3a8316e3a6f39bed9cc444fe57b11e4cd commit r16-5868-gd597daf3a8316e3a6f39bed9cc444fe57b11e4cd Author: Andrew MacLeod <[email protected]> Date: Tue Dec 2 10:12:24 2025 -0500 Return true when a value_relation is added. relation_oracle::record does not indicate whether a relation was added. Add a boolean return and only update timestamps when a relation is actually added. PR tree-optimization/122898 gcc/ * gimple-range-fold.cc (fur_source::register_relation): Return a bool; (fur_depend::register_relation): Ditto. (fur_relation::register_relation): Ditto. * gimple-range-fold.h (fur_source::register_relation): Adjust prototype. (fur_depend::register_relation): Ditto. * gimple-range-path.cc (jt_fur_source::register_relation): Return bool. * value-relation.cc (equiv_oracle::add_partial_equiv): Return a bool. (equiv_oracle::record): Return a bool. (relation_oracle::record): Return a bool. (dom_oracle::record): Return a bool. (dom_oracle::set_one_relation): Remove some debug output. (path_oracle::equiv_set): Return a bool. (path_oracle::register_equiv): Return a bool. (path_oracle::record): Return a bool. * value-relation.h (relation_oracle::record): Adjust prototype. (equiv_oracle::add_partial_equiv): Ditto (equiv_oracle::record): Ditto. (dom_oracle::record): Ditto. (path_oracle::equiv_set): Ditto. (path_oracle::register_equiv): Ditto. (path_oracle::record): Ditto. gcc/testsuite * gcc.dg/pr122898.c: New.
