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
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, ggc_alloc(), NULL, POINTER_TYPE_P, 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, ggc_alloc(), 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(), ggc_alloc(), 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(), remove_unreachable::handle_early(), 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 remove_unreachable::remove_and_update_globals().

Variable Documentation

global_ranges

global_range_query global_ranges

Referenced by get_global_range_query(), and get_range_query().