value-query.cc File Reference

#include "config.h"
#include "system.h"
#include "coretypes.h"
#include "backend.h"
#include "tree.h"
#include "gimple.h"
#include "ssa.h"
#include "tree-pretty-print.h"
#include "fold-const.h"
#include "value-query.h"
#include "alloc-pool.h"
#include "gimple-range.h"
#include "value-range-storage.h"

Include dependency graph for value-query.cc:

Functions
static void	get_ssa_name_range_info (vrange &r, const_tree name)
static bool	get_ssa_name_ptr_info_nonnull (const_tree name)
void	gimple_range_global (vrange &r, tree name, struct function *fun)

Variables
relation_oracle	default_relation_oracle
infer_range_oracle	default_infer_oracle
gimple_outgoing_range	default_gori
global_range_query	global_ranges

Function Documentation

get_ssa_name_ptr_info_nonnull()

static bool get_ssa_name_ptr_info_nonnull ( const_tree name )

inlinestatic

References gcc_assert, NULL, pt_solution::null, POINTER_TYPE_P, ptr_info_def::pt, SSA_NAME_PTR_INFO, and TREE_TYPE.

Referenced by gimple_range_global().

get_ssa_name_range_info()

static void get_ssa_name_range_info ( vrange & r, const_tree name )

inlinestatic

References gcc_checking_assert, vrange_storage::get_vrange(), POINTER_TYPE_P, r, SSA_NAME_RANGE_INFO, TREE_CODE, and TREE_TYPE.

Referenced by gimple_range_global().

gimple_range_global()

void gimple_range_global	(	vrange &	r,
		tree	name,
		struct function *	fun )

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

default_gori

gimple_outgoing_range default_gori

Referenced by range_query::create_gori(), range_query::destroy_gori(), and range_query::range_query().

default_infer_oracle

infer_range_oracle default_infer_oracle

Referenced by range_query::create_infer_oracle(), range_query::destroy_infer_oracle(), and range_query::range_query().

default_relation_oracle

relation_oracle default_relation_oracle

Referenced by range_query::create_relation_oracle(), range_query::destroy_relation_oracle(), and range_query::range_query().

global_ranges

global_range_query global_ranges

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