https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126856

--- Comment #9 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:06f435d587db631be745eb36c46e550939022827

commit r17-3393-g06f435d587db631be745eb36c46e550939022827
Author: Andrew MacLeod <[email protected]>
Date:   Tue Aug 18 08:58:35 2026 -0400

    Provide a range_info reset method.

    Provide a mechanism to reset range info in ranger and the oracles.

            PR tree-optimization/126856
            gcc/
            * gimple-range-cache.cc (block_range_cache::clear): New.
            (ranger_cache::reset_range_info): New.
            * gimple-range-cache.h (block_range_cache::clear): Declare.
            (ranger_cache::reset_range_info): Declare.
            * gimple-range-gori.cc (range_def_chain::clear): New.
            * gimple-range-gori.h (range_def_chain::clear): Declare.
            * gimple-range-infer.cc (infer_range_manager::clear): New.
            * gimple-range-infer.h (infer_oracle::clear): New virtual function.
            (infer_range_manager::clear): Override.
            * gimple-range.cc (gimple_ranger::reset_range_info): New.
            * gimple-range.h (gimple_ranger::reset_range_info): Declare.
            * tree-ssa-dce.cc (simple_dce_from_worklist): Reset flow-sensitive
            information when replacing a definition.
            * tree-ssanames.cc (reset_flow_sensitive_info): Reset information
            maintained by the current range query.
            * value-query.cc (range_query::reset_range_info): New.
            * value-query.h (range_query::reset_range_info): Declare.
            * value-relation.cc (equiv_oracle::clear): New.
            (relation_chain_head::clear): New.
            (dom_oracle::clear): New.
            (path_oracle::clear): New.
            * value-relation.h (relation_oracle::clear): New virtual function.
            (equiv_oracle::clear): Override.
            (relation_chain_head::clear): Declare.
            (dom_oracle::clear): Override.
            (path_oracle::clear): Override.

            gcc/testsuite/
            * gcc.dg/pr126856.c: New test.

Reply via email to