path_range_query Class Reference

#include <gimple-range-path.h>

Inheritance diagram for path_range_query:

Collaboration diagram for path_range_query:

Public Member Functions
	path_range_query (class gimple_ranger &ranger, const vec< basic_block > &path, const bitmap_head *dependencies=NULL, bool resolve=true)
	path_range_query (gimple_ranger &ranger, bool resolve=true)
virtual	~path_range_query ()
void	reset_path (const vec< basic_block > &, const bitmap_head *dependencies)
bool	range_of_expr (vrange &r, tree name, gimple *=NULL) override
bool	range_of_stmt (vrange &r, gimple *, tree name=NULL) override
bool	unreachable_path_p ()
void	dump (FILE *) override
void	debug ()
virtual tree	value_of_expr (tree expr, gimple *=NULL)
virtual tree	value_on_edge (edge, tree expr)
virtual tree	value_of_stmt (gimple *, tree name=NULL)
virtual tree	value_on_entry (basic_block, tree expr)
virtual tree	value_on_exit (basic_block, tree expr)
virtual bool	range_on_edge (vrange &r, edge, tree expr)
virtual bool	range_on_entry (vrange &r, basic_block bb, tree expr)
virtual bool	range_on_exit (vrange &r, basic_block bb, tree expr)
relation_kind	query_relation (gimple *s, tree ssa1, tree ssa2, bool get_range=true)
relation_kind	query_relation (edge e, tree ssa1, tree ssa2, bool get_range=true)
relation_oracle *	oracle () const

Protected Member Functions
bool	get_tree_range (vrange &v, tree expr, gimple *stmt, basic_block bbentry=NULL, basic_block bbexit=NULL)
bool	invoke_range_of_expr (vrange &v, tree expr, gimple *stmt, basic_block bbentry, basic_block bbexit)
bool	get_arith_expr_range (vrange &r, tree expr, gimple *stmt)

Protected Attributes
relation_oracle *	m_oracle

Private Member Functions
bool	internal_range_of_expr (vrange &r, tree name, gimple *)
void	compute_ranges (const bitmap_head *dependencies)
void	compute_exit_dependencies (bitmap_head *dependencies)
bool	defined_outside_path (tree name)
void	range_on_path_entry (vrange &r, tree name)
path_oracle *	get_path_oracle ()
bool	get_cache (vrange &r, tree name)
bool	range_defined_in_block (vrange &, tree name, basic_block bb)
void	compute_ranges_in_block (basic_block bb)
void	compute_ranges_in_phis (basic_block bb)
void	adjust_for_non_null_uses (basic_block bb)
void	ssa_range_in_phi (vrange &r, gphi *phi)
void	compute_outgoing_relations (basic_block bb, basic_block next)
void	compute_phi_relations (basic_block bb, basic_block prev)
void	maybe_register_phi_relation (gphi *, edge e)
bool	add_to_exit_dependencies (tree name, bitmap dependencies)
bool	exit_dependency_p (tree name)
bool	ssa_defined_in_bb (tree name, basic_block bb)
bool	relations_may_be_invalidated (edge)
basic_block	entry_bb ()
basic_block	exit_bb ()
basic_block	curr_bb ()
basic_block	prev_bb ()
basic_block	next_bb ()
bool	at_entry ()
bool	at_exit ()
void	move_next ()

Private Attributes
ssa_lazy_cache	m_cache
auto_vec< basic_block >	m_path
auto_bitmap	m_exit_dependencies
gimple_ranger &	m_ranger
unsigned	m_pos
bool	m_resolve
bool	m_undefined_path

Detailed Description

Header file for jump threading path solver.
   Copyright (C) 2021-2024 Free Software Foundation, Inc.
   Contributed by Aldy Hernandez <aldyh@redhat.com>.

This file is part of GCC.

GCC is free software; you can redistribute it and/or modify it under
the terms of the GNU General Public License as published by the Free
Software Foundation; either version 3, or (at your option) any later
version.

GCC is distributed in the hope that it will be useful, but WITHOUT ANY
WARRANTY; without even the implied warranty of MERCHANTABILITY or
FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 for more details.

You should have received a copy of the GNU General Public License
along with GCC; see the file COPYING3.  If not see
<http://www.gnu.org/licenses/>.   

Constructor & Destructor Documentation

path_range_query() [1/2]

path_range_query::path_range_query	(	class gimple_ranger &	ranger,
		const vec< basic_block > &	path,
		const bitmap_head *	dependencies = NULL,
		bool	resolve = true )

References ggc_alloc(), range_query::m_oracle, m_ranger, range_query::oracle(), and reset_path().

path_range_query() [2/2]

path_range_query::path_range_query	(	gimple_ranger &	ranger,
		bool	resolve = true )

References range_query::m_oracle, m_ranger, and range_query::oracle().

~path_range_query()

path_range_query::~path_range_query ( )

virtual

References range_query::m_oracle.

Member Function Documentation

add_to_exit_dependencies()

bool path_range_query::add_to_exit_dependencies ( tree name, bitmap dependencies )

private

References bitmap_set_bit, ggc_alloc(), SSA_NAME_VERSION, Value_Range::supports_type_p(), TREE_CODE, and TREE_TYPE.

Referenced by compute_exit_dependencies().

adjust_for_non_null_uses()

void path_range_query::adjust_for_non_null_uses ( basic_block bb )

private

References EXECUTE_IF_SET_IN_BITMAP, get_cache(), i, m_cache, gimple_ranger::m_cache, ranger_cache::m_exit, m_exit_dependencies, m_ranger, infer_range_manager::maybe_adjust_range(), POINTER_TYPE_P, r, ssa_lazy_cache::set_range(), ssa_name, and TREE_TYPE.

Referenced by compute_ranges().

at_entry()

bool path_range_query::at_entry ( )

inlineprivate

References m_path, and m_pos.

Referenced by compute_ranges_in_block(), and ssa_range_in_phi().

at_exit()

bool path_range_query::at_exit ( )

inlineprivate

References m_pos.

Referenced by compute_ranges(), and compute_ranges_in_block().

compute_exit_dependencies()

void path_range_query::compute_exit_dependencies ( bitmap_head * dependencies )

private

References add_to_exit_dependencies(), bitmap_copy(), bitmap_count_bits(), bitmap_set_bit, count, EXECUTE_IF_SET_IN_BITMAP, FOR_EACH_GORI_EXPORT_NAME, ggc_alloc(), gimple_bb(), gimple_phi_arg(), gimple_phi_arg_edge(), gimple_phi_num_args(), gimple_range_ssa_names(), gimple_ranger::gori(), i, gori_map::imports(), m_path, m_ranger, m_resolve, ssa_name, SSA_NAME_DEF_STMT, SSA_NAME_IS_DEFAULT_DEF, SSA_NAME_VERSION, TREE_CODE, TREE_TYPE, and worklist.

Referenced by compute_ranges().

compute_outgoing_relations()

void path_range_query::compute_outgoing_relations ( basic_block bb, basic_block next )

private

References EDGE_SUCC, gcc_unreachable, gcond_edge_range(), ggc_alloc(), gimple_ranger::gori(), gsi_last_bb(), m_path, m_ranger, NULL, r, and fur_source::register_outgoing_edges().

Referenced by compute_ranges_in_block().

compute_phi_relations()

void path_range_query::compute_phi_relations ( basic_block bb, basic_block prev )

private

References exit_dependency_p(), find_edge(), ggc_alloc(), gimple_phi_arg_edge(), gimple_phi_num_args(), gimple_phi_result(), gsi_end_p(), gsi_next(), gsi_start_phis(), i, maybe_register_phi_relation(), and NULL.

Referenced by compute_ranges_in_block().

compute_ranges()

void path_range_query::compute_ranges ( const bitmap_head * dependencies )

private

References adjust_for_non_null_uses(), at_exit(), bitmap_copy(), compute_exit_dependencies(), compute_ranges_in_block(), curr_bb(), DEBUG_SOLVER, dump(), path_oracle::dump(), dump_file, get_path_oracle(), ggc_alloc(), i, basic_block_def::index, m_exit_dependencies, m_path, m_ranger, m_resolve, move_next(), range_query::oracle(), and path_oracle::reset_path().

Referenced by reset_path().

compute_ranges_in_block()

void path_range_query::compute_ranges_in_block ( basic_block bb )

private

References at_entry(), at_exit(), ssa_lazy_cache::clear_range(), compute_outgoing_relations(), compute_phi_relations(), compute_ranges_in_phis(), DEBUG_SOLVER, dump_file, EXECUTE_IF_AND_IN_BITMAP, EXECUTE_IF_SET_IN_BITMAP, find_edge(), g, get_cache(), get_path_oracle(), ggc_alloc(), gimple_ranger::gori(), i, m_cache, m_exit_dependencies, m_ranger, m_resolve, next_bb(), prev_bb(), print_generic_expr(), r, range_defined_in_block(), relations_may_be_invalidated(), path_oracle::reset_path(), ssa_lazy_cache::set_range(), ssa_defined_in_bb(), ssa_name, SSA_NAME_DEF_STMT, TDF_SLIM, and TREE_TYPE.

Referenced by compute_ranges().

compute_ranges_in_phis()

void path_range_query::compute_ranges_in_phis ( basic_block bb )

private

References exit_dependency_p(), gimple_phi_result(), gsi_end_p(), gsi_next(), gsi_start_phis(), m_cache, r, range_defined_in_block(), ssa_lazy_cache::set_range(), and TREE_TYPE.

Referenced by compute_ranges_in_block().

curr_bb()

basic_block path_range_query::curr_bb ( )

inlineprivate

References m_path, and m_pos.

Referenced by compute_ranges().

debug()

void path_range_query::debug

(

)

References dump(), and ggc_alloc().

defined_outside_path()

bool path_range_query::defined_outside_path ( tree name )

private

References gimple_bb(), m_path, and SSA_NAME_DEF_STMT.

Referenced by internal_range_of_expr(), range_on_path_entry(), and ssa_range_in_phi().

dump()

void path_range_query::dump ( FILE * dump_file )

overridevirtual

Reimplemented from range_query.

References ssa_cache::dump(), dump_file, dump_flags, dump_ranger(), EXECUTE_IF_SET_IN_BITMAP, ggc_alloc(), i, m_cache, m_exit_dependencies, m_path, print_generic_expr(), ssa_name, TDF_DETAILS, and TDF_SLIM.

Referenced by compute_ranges(), and debug().

entry_bb()

basic_block path_range_query::entry_bb ( )

inlineprivate

References m_path.

Referenced by maybe_register_phi_relation(), and range_on_path_entry().

exit_bb()

basic_block path_range_query::exit_bb ( )

inlineprivate

References m_path.

exit_dependency_p()

bool path_range_query::exit_dependency_p ( tree name )

private

References bitmap_bit_p, m_exit_dependencies, SSA_NAME_VERSION, and TREE_CODE.

Referenced by compute_phi_relations(), and compute_ranges_in_phis().

get_arith_expr_range()

bool range_query::get_arith_expr_range ( vrange & r, tree expr, gimple * stmt )

protectedinherited

get_cache()

bool path_range_query::get_cache ( vrange & r, tree name )

inlineprivate

References get_global_range_query(), ssa_lazy_cache::get_range(), gimple_range_ssa_p(), m_cache, r, and range_query::range_of_expr().

Referenced by adjust_for_non_null_uses(), compute_ranges_in_block(), internal_range_of_expr(), range_defined_in_block(), and ssa_range_in_phi().

get_path_oracle()

path_oracle * path_range_query::get_path_oracle ( )

inlineprivate

References range_query::m_oracle.

Referenced by compute_ranges(), compute_ranges_in_block(), maybe_register_phi_relation(), and range_defined_in_block().

get_tree_range()

bool range_query::get_tree_range ( vrange & v, tree expr, gimple * stmt, basic_block bbentry = NULL, basic_block bbexit = NULL )

protectedinherited

References BINARY_CLASS_P, COMPARISON_CLASS_P, drop_tree_overflow(), expr, range_op_handler::fold_range(), ggc_alloc(), gimple_range_global(), gimple_range_ssa_p(), range_query::invoke_range_of_expr(), r, real_isnan(), real_isneg(), REAL_VALUE_TYPE, frange::set(), frange::set_nan(), Value_Range::supports_type_p(), TREE_CODE, TREE_OPERAND, TREE_OVERFLOW_P, TREE_REAL_CST_PTR, tree_single_nonzero_warnv_p(), TREE_TYPE, type(), TYPE_P, and UNARY_CLASS_P.

Referenced by assume_query::calculate_phi(), assume_query::range_of_expr(), global_range_query::range_of_expr(), dom_ranger::range_of_expr(), ssa_cache::range_of_expr(), gimple_ranger::range_of_expr(), ranger_cache::range_of_expr(), gimple_ranger::range_of_stmt(), ranger_cache::range_on_edge(), dom_ranger::range_on_edge(), gimple_ranger::range_on_edge(), gimple_ranger::range_on_entry(), and gimple_ranger::range_on_exit().

internal_range_of_expr()

bool path_range_query::internal_range_of_expr ( vrange & r, tree name, gimple * stmt )

private

References defined_outside_path(), get_cache(), gimple_bb(), gimple_range_global(), m_cache, m_resolve, r, range_defined_in_block(), range_on_path_entry(), ssa_lazy_cache::set_range(), TREE_CODE, and TREE_TYPE.

Referenced by range_of_expr().

invoke_range_of_expr()

bool range_query::invoke_range_of_expr ( vrange & v, tree expr, gimple * stmt, basic_block bbentry, basic_block bbexit )

protectedinherited

References gcc_checking_assert, ggc_alloc(), r, range_query::range_of_expr(), range_query::range_on_entry(), and range_query::range_on_exit().

Referenced by range_query::get_tree_range().

maybe_register_phi_relation()

void path_range_query::maybe_register_phi_relation ( gphi * phi, edge e )

private

References dump_file, dump_flags, entry_bb(), get_path_oracle(), ggc_alloc(), gimple_bb(), gimple_phi_arg_def(), gimple_phi_result(), gimple_range_ssa_p(), basic_block_def::index, path_oracle::killing_def(), range_query::m_oracle, relation_oracle::register_relation(), relations_may_be_invalidated(), ssa_defined_in_bb(), TDF_DETAILS, and VREL_EQ.

Referenced by compute_phi_relations().

move_next()

void path_range_query::move_next ( )

inlineprivate

References m_pos.

Referenced by compute_ranges().

next_bb()

basic_block path_range_query::next_bb ( )

inlineprivate

References m_path, and m_pos.

Referenced by compute_ranges_in_block().

oracle()

relation_oracle * range_query::oracle ( ) const

inlineinherited

References range_query::m_oracle.

Referenced by compute_ranges(), fur_depend::fur_depend(), gimple_ranger::gimple_ranger(), jt_fur_source::jt_fur_source(), path_range_query(), path_range_query(), and fold_using_range::relation_fold_and_or().

prev_bb()

basic_block path_range_query::prev_bb ( )

inlineprivate

References m_path, and m_pos.

Referenced by compute_ranges_in_block(), and ssa_range_in_phi().

query_relation() [1/2]

relation_kind range_query::query_relation ( edge e, tree ssa1, tree ssa2, bool get_range = true )

inherited

References get_range(), ggc_alloc(), range_query::m_oracle, relation_oracle::query_relation(), range_query::range_on_edge(), single_pred_p(), TREE_CODE, TREE_TYPE, and VREL_VARYING.

query_relation() [2/2]

relation_kind range_query::query_relation ( gimple * s, tree ssa1, tree ssa2, bool get_range = true )

inherited

References get_range(), ggc_alloc(), gimple_bb(), range_query::m_oracle, relation_oracle::query_relation(), range_query::range_of_expr(), TREE_CODE, TREE_TYPE, and VREL_VARYING.

Referenced by fur_stmt::query_relation(), and fold_using_range::range_of_phi().

range_defined_in_block()

bool path_range_query::range_defined_in_block ( vrange & r, tree name, basic_block bb )

private

References DEBUG_SOLVER, dump_file, get_cache(), get_path_oracle(), ggc_alloc(), gimple_bb(), basic_block_def::index, path_oracle::killing_def(), gimple_ranger::m_cache, ranger_cache::m_exit, m_ranger, infer_range_manager::maybe_adjust_range(), POINTER_TYPE_P, print_generic_expr(), r, range_of_stmt(), SSA_NAME_DEF_STMT, ssa_range_in_phi(), TDF_SLIM, and TREE_TYPE.

Referenced by compute_ranges_in_block(), compute_ranges_in_phis(), and internal_range_of_expr().

range_of_expr()

bool path_range_query::range_of_expr ( vrange & r, tree name, gimple * stmt = NULL )

overridevirtual

Implements range_query.

References internal_range_of_expr(), m_undefined_path, and r.

Referenced by check_nul_terminated_array(), determine_value_range(), dr_step_indicator(), dump_strlen_info(), expr_not_equal_to(), find_what_p_points_to(), infer_loop_bounds_from_signedness(), minmax_from_comparison(), scev_var_range_cant_overflow(), set_strlen_range(), set_switch_stmt_execution_predicate(), hybrid_jt_simplifier::simplify(), simplify_conversion_using_ranges(), size_must_be_zero_p(), split_constant_offset(), vect_get_range_info(), and vect_recog_divmod_pattern().

range_of_stmt()

bool path_range_query::range_of_stmt ( vrange & r, gimple * stmt, tree name = NULL )

overridevirtual

Reimplemented from range_query.

References fold_using_range::fold_stmt(), gimple_range_type(), gimple_ranger::gori(), m_path, m_ranger, m_resolve, and r.

Referenced by loop_static_stmt_p(), range_defined_in_block(), hybrid_jt_simplifier::simplify(), and static_loop_exit().

range_on_edge()

bool range_query::range_on_edge ( vrange & r, edge , tree expr )

virtualinherited

Support routines for value queries.
   Copyright (C) 2020-2024 Free Software Foundation, Inc.
   Contributed by Aldy Hernandez <aldyh@redhat.com> and
   Andrew MacLeod <amacleod@redhat.com>.

This file is part of GCC.

GCC is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 3, or (at your option)
any later version.

GCC is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with GCC; see the file COPYING3.  If not see
<http://www.gnu.org/licenses/>.   

Reimplemented in ranger_cache, dom_ranger, and gimple_ranger.

References r, and range_query::range_of_expr().

Referenced by fur_edge::get_operand(), fur_source::get_phi_operand(), fur_edge::get_phi_operand(), phi_analyzer::process_phi(), range_query::query_relation(), and range_query::value_on_edge().

range_on_entry()

bool range_query::range_on_entry ( vrange & r, basic_block bb, tree expr )

virtualinherited

Reimplemented in gimple_ranger.

References r, and range_query::range_of_expr().

Referenced by range_query::invoke_range_of_expr(), and range_query::value_on_entry().

range_on_exit()

bool range_query::range_on_exit ( vrange & r, basic_block bb, tree expr )

virtualinherited

Reimplemented in gimple_ranger.

References r, and range_query::range_of_expr().

Referenced by range_query::invoke_range_of_expr(), and range_query::value_on_exit().

range_on_path_entry()

void path_range_query::range_on_path_entry ( vrange & r, tree name )

private

References defined_outside_path(), entry_bb(), gcc_checking_assert, m_ranger, r, and gimple_ranger::range_on_entry().

Referenced by internal_range_of_expr(), and ssa_range_in_phi().

relations_may_be_invalidated()

bool path_range_query::relations_may_be_invalidated ( edge e )

private

References ggc_alloc().

Referenced by compute_ranges_in_block(), and maybe_register_phi_relation().

reset_path()

void path_range_query::reset_path	(	const vec< basic_block > &	path,
		const bitmap_head *	dependencies )

References ssa_lazy_cache::clear(), compute_ranges(), gcc_checking_assert, ggc_alloc(), m_cache, m_path, m_pos, and m_undefined_path.

Referenced by path_range_query(), and hybrid_jt_simplifier::simplify().

ssa_defined_in_bb()

bool path_range_query::ssa_defined_in_bb ( tree name, basic_block bb )

private

References gimple_bb(), SSA_NAME_DEF_STMT, and TREE_CODE.

Referenced by compute_ranges_in_block(), maybe_register_phi_relation(), and ssa_range_in_phi().

ssa_range_in_phi()

void path_range_query::ssa_range_in_phi ( vrange & r, gphi * phi )

private

References at_entry(), defined_outside_path(), find_edge(), get_cache(), ggc_alloc(), gimple_bb(), gimple_phi_arg_def(), gimple_phi_num_args(), gimple_phi_result(), i, m_ranger, m_resolve, NULL, PHI_ARG_DEF_FROM_EDGE, prev_bb(), r, gimple_ranger::range_of_expr(), gimple_ranger::range_on_edge(), range_on_path_entry(), ssa_defined_in_bb(), TREE_CODE, and TREE_TYPE.

Referenced by range_defined_in_block().

unreachable_path_p()

bool path_range_query::unreachable_path_p

(

)

References m_undefined_path.

value_of_expr()

tree range_query::value_of_expr ( tree expr, gimple * stmt = NULL )

virtualinherited

Reimplemented in substitute_and_fold_engine, copy_folder, rvrp_folder, fvrp_folder, and ccp_folder.

References NULL_TREE, r, range_query::range_of_expr(), Value_Range::supports_type_p(), and TREE_TYPE.

Referenced by rvrp_folder::value_of_expr(), and fvrp_folder::value_of_expr().

value_of_stmt()

tree range_query::value_of_stmt ( gimple * stmt, tree name = NULL )

virtualinherited

Reimplemented in substitute_and_fold_engine, rvrp_folder, and fvrp_folder.

References gcc_checking_assert, gimple_get_lhs(), NULL_TREE, r, range_query::range_of_stmt(), Value_Range::supports_type_p(), and TREE_TYPE.

Referenced by rvrp_folder::value_of_stmt(), and fvrp_folder::value_of_stmt().

value_on_edge()

tree range_query::value_on_edge ( edge e, tree expr )

virtualinherited

Reimplemented in rvrp_folder, fvrp_folder, and substitute_and_fold_engine.

References NULL_TREE, r, range_query::range_of_expr(), range_query::range_on_edge(), Value_Range::supports_type_p(), and TREE_TYPE.

Referenced by rvrp_folder::value_on_edge(), and fvrp_folder::value_on_edge().

value_on_entry()

tree range_query::value_on_entry ( basic_block bb, tree expr )

virtualinherited

References gcc_checking_assert, NULL_TREE, r, range_query::range_on_entry(), Value_Range::supports_type_p(), and TREE_TYPE.

value_on_exit()

tree range_query::value_on_exit ( basic_block bb, tree expr )

virtualinherited

References gcc_checking_assert, NULL_TREE, r, range_query::range_on_exit(), Value_Range::supports_type_p(), and TREE_TYPE.

Field Documentation

m_cache

ssa_lazy_cache path_range_query::m_cache

private

Referenced by adjust_for_non_null_uses(), compute_ranges_in_block(), compute_ranges_in_phis(), dump(), get_cache(), internal_range_of_expr(), and reset_path().

m_exit_dependencies

auto_bitmap path_range_query::m_exit_dependencies

private

Referenced by adjust_for_non_null_uses(), compute_ranges(), compute_ranges_in_block(), dump(), and exit_dependency_p().

m_oracle

relation_oracle* range_query::m_oracle

protectedinherited

Referenced by ranger_cache::dump_bb(), ranger_cache::fill_block_cache(), get_path_oracle(), gimple_ranger::gimple_ranger(), maybe_register_phi_relation(), range_query::oracle(), path_range_query(), path_range_query(), range_query::query_relation(), range_query::query_relation(), range_query::range_query(), ranger_cache::ranger_cache(), ~path_range_query(), and ranger_cache::~ranger_cache().

m_path

auto_vec<basic_block> path_range_query::m_path

private

Referenced by at_entry(), compute_exit_dependencies(), compute_outgoing_relations(), compute_ranges(), curr_bb(), defined_outside_path(), dump(), entry_bb(), exit_bb(), next_bb(), prev_bb(), range_of_stmt(), and reset_path().

m_pos

unsigned path_range_query::m_pos

private

Referenced by at_entry(), at_exit(), curr_bb(), move_next(), next_bb(), prev_bb(), and reset_path().

m_ranger

gimple_ranger& path_range_query::m_ranger

private

Referenced by adjust_for_non_null_uses(), compute_exit_dependencies(), compute_outgoing_relations(), compute_ranges(), compute_ranges_in_block(), path_range_query(), path_range_query(), range_defined_in_block(), range_of_stmt(), range_on_path_entry(), and ssa_range_in_phi().

m_resolve

bool path_range_query::m_resolve

private

Referenced by compute_exit_dependencies(), compute_ranges(), compute_ranges_in_block(), internal_range_of_expr(), range_of_stmt(), and ssa_range_in_phi().

m_undefined_path

bool path_range_query::m_undefined_path

private

Referenced by range_of_expr(), reset_path(), and unreachable_path_p().

---

The documentation for this class was generated from the following files:

• gimple-range-path.h
• gimple-range-path.cc