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 "tree-ssanames.h"
#include "fold-const.h"
#include "value-query.h"
#include "alloc-pool.h"
#include "gimple-range.h"
#include "value-range-storage.h"
#include "target.h"

Include dependency graph for value-query.cc:

Functions
range_query *	set_range_query (struct function *fun, range_query *q)
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()

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()

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().

set_range_query()

range_query * set_range_query	(	struct function *	fun,
		range_query *	q )

Support routines for value queries.
   Copyright (C) 2020-2026 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/>.   

References range_query::active_query_compatible_p(), get_global_range_query(), NULL, and function::x_range_query.

Referenced by disable_ranger(), enable_ranger(), execute_fast_vrp(), and fold_using_range::fold_stmt().

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().