GCC Middle and Back End API 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"
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 |
|
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().
|
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().
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().
gimple_outgoing_range default_gori |
Referenced by range_query::create_gori(), range_query::destroy_gori(), and range_query::range_query().
infer_range_oracle default_infer_oracle |
relation_oracle default_relation_oracle |
global_range_query global_ranges |
Referenced by range_query::create_relation_oracle(), get_global_range_query(), and get_range_query().