value-query.h File Reference

#include "value-relation.h"

Include dependency graph for value-query.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
class	range_query
class	global_range_query

Functions
range_query *	get_global_range_query ()
ATTRIBUTE_RETURNS_NONNULL range_query *	get_range_query (const struct function *fun)
void	gimple_range_global (vrange &v, tree name, struct function *f=cfun)

Variables
global_range_query	global_ranges

Function Documentation

get_global_range_query()

range_query * get_global_range_query ( )

inline

References global_ranges.

Referenced by dump_ssaname_info(), evaluate_control_stmt_using_entry_checks(), path_range_query::get_cache(), ranger_cache::get_global_range(), gimple_infer_range::gimple_infer_range(), gimple_stmt_nonnegative_warnv_p(), infer_range_manager::infer_range_manager(), ranger_cache::range_of_def(), fold_using_range::range_of_ssa_name_with_loop_info(), simplify_count_zeroes(), simplify_rotate(), split_at_bb_p(), and value_replacement().

get_range_query()

ATTRIBUTE_RETURNS_NONNULL range_query * get_range_query ( const struct function * fun )

inline

Returns the currently active range access class.  When there is no active
range class, global ranges are used.  Never returns null.   

References global_ranges, and function::x_range_query.

gimple_range_global()

void gimple_range_global ( vrange & v, tree name, struct function * f = cfun )

extern

References cfun, gcc_checking_assert, get_ssa_name_ptr_info_nonnull(), get_ssa_name_range_info(), nonnull_arg_p(), POINTER_TYPE_P, r, SSA_NAME_IS_DEFAULT_DEF, SSA_NAME_PTR_INFO, SSA_NAME_RANGE_INFO, SSA_NAME_VAR, TREE_CODE, and TREE_TYPE.

Referenced by gimple_infer_range::check_assume_func(), ranger_cache::entry_range(), ranger_cache::exit_range(), fold_using_range::fold_stmt(), ranger_cache::get_global_range(), ranger_cache::get_global_range(), range_query::get_tree_range(), path_range_query::internal_range_of_expr(), fold_using_range::range_of_call(), ranger_cache::range_of_def(), global_range_query::range_of_expr(), ssa_cache::range_of_expr(), and set_range_info().

Variable Documentation

global_ranges

global_range_query global_ranges

extern

Referenced by range_query::create_relation_oracle(), get_global_range_query(), and get_range_query().