https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126942
--- Comment #3 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:31b8c15fd7608fe5bad8b105e9b5112ed18166dd commit r17-3924-g31b8c15fd7608fe5bad8b105e9b5112ed18166dd Author: Andrew MacLeod <[email protected]> Date: Mon Aug 31 14:25:21 2026 -0400 Disallow path ranger from current_range_query. Provide a generic way to set the current range_query, and disable path_ranger from being pushed. It can provide incorrect ranges from the path to requests not dominated by the path. PR tree-optimization/126942 gcc/ * gimple-range-fold.cc (fold_using_range::fold_stmt): Use set_range_query. * gimple-range-path.h (path_ranger::active_query_compatible_p): New. * gimple-range.cc (enable_ranger): Use set_range_query. (disable_ranger): Likewise. * tree-vrp.cc (execute_fast_vrp): Likewise. * value-query.cc (set_range_query): New. * value-query.h (range_query::active_query_compatible_p): New. (set_range_query): Declare. gcc/testsuite/ * gcc.dg/pr126942.c: New.
