range-op.cc File Reference

#include "config.h"
#include "system.h"
#include "coretypes.h"
#include "backend.h"
#include "insn-codes.h"
#include "rtl.h"
#include "tree.h"
#include "gimple.h"
#include "cfghooks.h"
#include "tree-pass.h"
#include "ssa.h"
#include "optabs-tree.h"
#include "gimple-pretty-print.h"
#include "diagnostic-core.h"
#include "flags.h"
#include "fold-const.h"
#include "stor-layout.h"
#include "calls.h"
#include "cfganal.h"
#include "gimple-iterator.h"
#include "gimple-fold.h"
#include "tree-eh.h"
#include "gimple-walk.h"
#include "tree-cfg.h"
#include "wide-int.h"
#include "value-relation.h"
#include "range-op.h"
#include "tree-ssa-ccp.h"
#include "range-op-mixed.h"

Include dependency graph for range-op.cc:

Data Structures
class	operator_widen_plus_signed
class	operator_widen_plus_unsigned
class	operator_widen_mult_signed
class	operator_widen_mult_unsigned
class	operator_widen_mult_signed_unsigned
class	operator_div
class	operator_exact_divide
class	operator_lshift
class	operator_rshift
class	operator_logical_and
class	operator_logical_or
class	operator_trunc_mod
class	operator_logical_not
class	operator_unknown
class	operator_absu

Functions
constexpr unsigned	dispatch_trio (unsigned lhs, unsigned op1, unsigned op2)
static bool	has_pointer_operand_p (const vrange &r1, const vrange &r2, const vrange &r3)
void	update_known_bitmask (vrange &r, tree_code code, const vrange &lh, const vrange &rh)
static wide_int	max_limit (const_tree type)
static wide_int	min_limit (const_tree type)
static bool	get_shift_range (irange &r, tree type, const irange &op)
static void	value_range_from_overflowed_bounds (irange &r, tree type, const wide_int &wmin, const wide_int &wmax)
static void	value_range_with_overflow (irange &r, tree type, const wide_int &wmin, const wide_int &wmax, wi::overflow_type min_ovf=wi::OVF_NONE, wi::overflow_type max_ovf=wi::OVF_NONE)
static void	create_possibly_reversed_range (irange &r, tree type, const wide_int &new_lb, const wide_int &new_ub)
bool_range_state	get_bool_state (vrange &r, const vrange &lhs, tree val_type)
static void	build_lt (irange &r, tree type, const wide_int &val)
static void	build_le (irange &r, tree type, const wide_int &val)
static void	build_gt (irange &r, tree type, const wide_int &val)
static void	build_ge (irange &r, tree type, const wide_int &val)
static relation_kind	plus_minus_ranges (irange &r_ov, irange &r_normal, const irange &offset, bool add_p)
static void	adjust_op1_for_overflow (irange &r, const irange &op2, relation_kind rel, bool add_p)
bool	minus_op1_op2_relation_effect (irange &lhs_range, tree type, const irange &op1_range, const irange &op2_range, relation_kind rel)
static bool	wi_optimize_signed_bitwise_op (irange &r, tree type, const wide_int &lh_lb, const wide_int &lh_ub, const wide_int &rh_lb, const wide_int &rh_ub)
static bool	wi_optimize_and_or (irange &r, enum tree_code code, tree type, const wide_int &lh_lb, const wide_int &lh_ub, const wide_int &rh_lb, const wide_int &rh_ub)
void	wi_set_zero_nonzero_bits (tree type, const wide_int &lb, const wide_int &ub, wide_int &maybe_nonzero, wide_int &mustbe_nonzero)
static void	set_nonzero_range_from_mask (irange &r, tree type, const irange &lhs)
wide_int	masked_increment (const wide_int &val_in, const wide_int &mask, const wide_int &sgnbit, unsigned int prec)

Variables
static const operator_equal	op_equal
static const operator_not_equal	op_not_equal
static const operator_lt	op_lt
static const operator_le	op_le
static const operator_gt	op_gt
static const operator_ge	op_ge
static const operator_identity	op_ident
static const operator_cst	op_cst
static const operator_cast	op_cast
static const operator_view	op_view
static const operator_plus	op_plus
static const operator_abs	op_abs
static const operator_minus	op_minus
static const operator_negate	op_negate
static const operator_mult	op_mult
static const operator_addr_expr	op_addr
static const operator_bitwise_not	op_bitwise_not
static const operator_bitwise_xor	op_bitwise_xor
static const operator_bitwise_and	op_bitwise_and
static const operator_bitwise_or	op_bitwise_or
static const operator_min	op_min
static const operator_max	op_max
static range_op_table	operator_table
range_operator	default_operator
static const unsigned	RO_III = dispatch_trio (VR_IRANGE, VR_IRANGE, VR_IRANGE)
static const unsigned	RO_IFI = dispatch_trio (VR_IRANGE, VR_FRANGE, VR_IRANGE)
static const unsigned	RO_IFF = dispatch_trio (VR_IRANGE, VR_FRANGE, VR_FRANGE)
static const unsigned	RO_FFF = dispatch_trio (VR_FRANGE, VR_FRANGE, VR_FRANGE)
static const unsigned	RO_FIF = dispatch_trio (VR_FRANGE, VR_IRANGE, VR_FRANGE)
static const unsigned	RO_FII = dispatch_trio (VR_FRANGE, VR_IRANGE, VR_IRANGE)
static const unsigned	RO_PPP = dispatch_trio (VR_PRANGE, VR_PRANGE, VR_PRANGE)
static const unsigned	RO_PPI = dispatch_trio (VR_PRANGE, VR_PRANGE, VR_IRANGE)
static const unsigned	RO_IPP = dispatch_trio (VR_IRANGE, VR_PRANGE, VR_PRANGE)
static const unsigned	RO_IPI = dispatch_trio (VR_IRANGE, VR_PRANGE, VR_IRANGE)
static const unsigned	RO_PIP = dispatch_trio (VR_PRANGE, VR_IRANGE, VR_PRANGE)
static const unsigned	RO_PII = dispatch_trio (VR_PRANGE, VR_IRANGE, VR_IRANGE)
operator_widen_plus_signed	op_widen_plus_signed
operator_widen_plus_unsigned	op_widen_plus_unsigned
operator_widen_mult_signed	op_widen_mult_signed
operator_widen_mult_unsigned	op_widen_mult_unsigned
operator_widen_mult_signed_unsigned	op_widen_mult_signed_unsigned
static const operator_div	op_trunc_div (TRUNC_DIV_EXPR)
static const operator_div	op_floor_div (FLOOR_DIV_EXPR)
static const operator_div	op_round_div (ROUND_DIV_EXPR)
static const operator_div	op_ceil_div (CEIL_DIV_EXPR)
operator_exact_divide	op_exact_div
operator_lshift	op_lshift
operator_rshift	op_rshift
operator_logical_and	op_logical_and
operator_logical_or	op_logical_or
operator_trunc_mod	op_trunc_mod
operator_logical_not	op_logical_not
operator_unknown	op_unknown
operator_absu	op_absu

Function Documentation

adjust_op1_for_overflow()

void adjust_op1_for_overflow ( irange & r, const irange & op2, relation_kind rel, bool add_p )

static

References plus_minus_ranges(), r, relation_intersect(), relation_lt_le_gt_ge_p(), SIGNED, TYPE_OVERFLOW_WRAPS, TYPE_SIGN, and VREL_VARYING.

Referenced by operator_minus::op1_range(), and operator_plus::op1_range().

build_ge()

void build_ge ( irange & r, tree type, const wide_int & val )

static

References max_limit(), and r.

build_gt()

void build_gt ( irange & r, tree type, const wide_int & val )

static

References wi::add(), max_limit(), r, SIGNED, wi::sub(), and TYPE_SIGN.

build_le()

void build_le ( irange & r, tree type, const wide_int & val )

static

References min_limit(), and r.

build_lt()

void build_lt ( irange & r, tree type, const wide_int & val )

static

References wi::add(), min_limit(), r, SIGNED, wi::sub(), and TYPE_SIGN.

create_possibly_reversed_range()

void create_possibly_reversed_range ( irange & r, tree type, const wide_int & new_lb, const wide_int & new_ub )

inlinestatic

References wi::gt_p(), r, TYPE_SIGN, and value_range_from_overflowed_bounds().

Referenced by operator_cast::fold_pair(), operator_cast::op1_range(), operator_bitwise_and::simple_op1_range_solver(), and operator_mult::wi_fold().

dispatch_trio()

unsigned dispatch_trio ( unsigned lhs, unsigned op1, unsigned op2 )

constexpr

Referenced by range_op_handler::dispatch_kind().

get_bool_state()

bool_range_state get_bool_state	(	vrange &	r,
		const vrange &	lhs,
		tree	val_type )

References BRS_EMPTY, BRS_FALSE, BRS_FULL, BRS_TRUE, build_zero_cst(), and r.

Referenced by foperator_ltgt::op1_range(), foperator_ordered::op1_range(), foperator_unordered::op1_range(), foperator_unordered_equal::op1_range(), foperator_unordered_ge::op1_range(), foperator_unordered_gt::op1_range(), foperator_unordered_le::op1_range(), foperator_unordered_lt::op1_range(), operator_bitwise_xor::op1_range(), operator_equal::op1_range(), operator_equal::op1_range(), operator_equal::op1_range(), operator_ge::op1_range(), operator_ge::op1_range(), operator_ge::op1_range(), operator_gt::op1_range(), operator_gt::op1_range(), operator_gt::op1_range(), operator_le::op1_range(), operator_le::op1_range(), operator_le::op1_range(), operator_logical_and::op1_range(), operator_logical_or::op1_range(), operator_lt::op1_range(), operator_lt::op1_range(), operator_lt::op1_range(), operator_not_equal::op1_range(), operator_not_equal::op1_range(), operator_not_equal::op1_range(), foperator_unordered_ge::op2_range(), foperator_unordered_gt::op2_range(), foperator_unordered_le::op2_range(), foperator_unordered_lt::op2_range(), operator_ge::op2_range(), operator_ge::op2_range(), operator_ge::op2_range(), operator_gt::op2_range(), operator_gt::op2_range(), operator_gt::op2_range(), operator_le::op2_range(), operator_le::op2_range(), operator_le::op2_range(), operator_lt::op2_range(), operator_lt::op2_range(), and operator_lt::op2_range().

get_shift_range()

bool get_shift_range ( irange & r, tree type, const irange & op )

inlinestatic

References r, wi::shwi(), irange::type(), TYPE_PRECISION, and vrange::undefined_p().

Referenced by operator_lshift::fold_range(), and operator_rshift::fold_range().

has_pointer_operand_p()

bool has_pointer_operand_p ( const vrange & r1, const vrange & r2, const vrange & r3 )

inlinestatic

References is_a< prange >().

masked_increment()

wide_int masked_increment	(	const wide_int &	val_in,
		const wide_int &	mask,
		const wide_int &	sgnbit,
		unsigned int	prec )

Find out smallest RES where RES > VAL && (RES & MASK) == RES, if any
(otherwise return VAL).  VAL and MASK must be zero-extended for
precision PREC.  If SGNBIT is non-zero, first xor VAL with SGNBIT
(to transform signed values into unsigned) and at the end xor
SGNBIT back.   

References wi::bit_and_not(), wi::gtu_p(), i, and wi::one().

Referenced by operator_bitwise_and::simple_op1_range_solver().

max_limit()

wide_int max_limit ( const_tree type )

inlinestatic

References irange_val_max().

min_limit()

wide_int min_limit ( const_tree type )

inlinestatic

References irange_val_min().

minus_op1_op2_relation_effect()

bool minus_op1_op2_relation_effect	(	irange &	lhs_range,
		tree	type,
		const irange &	op1_range,
		const irange &	op2_range,
		relation_kind	rel )

References irange::intersect(), wi::max_value(), wi::min_value(), wi::minus_one(), wi::one(), op1_range(), op2_range(), TYPE_OVERFLOW_WRAPS, TYPE_PRECISION, TYPE_SIGN, VR_ANTI_RANGE, VREL_EQ, VREL_GE, VREL_GT, VREL_LE, VREL_LT, VREL_NE, VREL_VARYING, and wi::zero().

Referenced by operator_minus::op1_op2_relation_effect(), and operator_pointer_diff::op1_op2_relation_effect().

plus_minus_ranges()

relation_kind plus_minus_ranges ( irange & r_ov, irange & r_normal, const irange & offset, bool add_p )

static

References irange_val_max(), irange::lower_bound(), wi::neg(), wi::neg_p(), SIGNED, irange::singleton_p(), wi::sub(), irange::type(), TYPE_PRECISION, UNSIGNED, VR_ANTI_RANGE, VREL_GT, VREL_LT, VREL_VARYING, wi::zero(), and irange::zero_p().

Referenced by adjust_op1_for_overflow().

set_nonzero_range_from_mask()

void set_nonzero_range_from_mask ( irange & r, tree type, const irange & lhs )

static

References contains_zero_p(), and r.

Referenced by operator_bitwise_and::op1_range(), and operator_bitwise_and::simple_op1_range_solver().

update_known_bitmask()

void update_known_bitmask	(	vrange &	r,
		tree_code	code,
		const vrange &	lh,
		const vrange &	rh )

Header file for mixed range operator class.
   Copyright (C) 2017-2026 Free Software Foundation, Inc.
   Contributed by Andrew MacLeod <amacleod@redhat.com>
   and Aldy Hernandez <aldyh@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 bit_value_binop(), bit_value_unop(), wide_int_storage::from(), gcc_unreachable, vrange::get_bitmask(), get_gimple_rhs_class(), GIMPLE_BINARY_RHS, GIMPLE_UNARY_RHS, irange_bitmask::mask(), r, vrange::type(), TYPE_PRECISION, TYPE_SIGN, vrange::undefined_p(), and irange_bitmask::value().

Referenced by operator_bitwise_and::fold_range(), operator_bitwise_or::fold_range(), operator_max::fold_range(), operator_min::fold_range(), pointer_plus_operator::fold_range(), operator_abs::update_bitmask(), operator_absu::update_bitmask(), operator_bitwise_and::update_bitmask(), operator_bitwise_not::update_bitmask(), operator_bitwise_or::update_bitmask(), operator_bitwise_xor::update_bitmask(), operator_cast::update_bitmask(), operator_div::update_bitmask(), operator_equal::update_bitmask(), operator_ge::update_bitmask(), operator_gt::update_bitmask(), operator_le::update_bitmask(), operator_lshift::update_bitmask(), operator_lt::update_bitmask(), operator_max::update_bitmask(), operator_min::update_bitmask(), operator_minus::update_bitmask(), operator_mult::update_bitmask(), operator_not_equal::update_bitmask(), operator_plus::update_bitmask(), operator_pointer_diff::update_bitmask(), operator_rshift::update_bitmask(), operator_trunc_mod::update_bitmask(), and pointer_plus_operator::update_bitmask().

value_range_from_overflowed_bounds()

void value_range_from_overflowed_bounds ( irange & r, tree type, const wide_int & wmin, const wide_int & wmax )

static

References wi::cmp(), wide_int_storage::from(), r, TYPE_PRECISION, TYPE_SIGN, and VR_ANTI_RANGE.

Referenced by create_possibly_reversed_range(), and value_range_with_overflow().

value_range_with_overflow()

void value_range_with_overflow ( irange & r, tree type, const wide_int & wmin, const wide_int & wmax, wi::overflow_type min_ovf = wi::OVF_NONE, wi::overflow_type max_ovf = wi::OVF_NONE )

static

References wide_int_storage::from(), wi::gt_p(), wi::max_value(), wi::min_value(), wi::ne_p(), wi::OVF_NONE, wi::OVF_OVERFLOW, wi::OVF_UNDERFLOW, r, TYPE_OVERFLOW_WRAPS, TYPE_PRECISION, TYPE_SIGN, and value_range_from_overflowed_bounds().

Referenced by cross_product_operator::wi_cross_product(), operator_bitwise_and::wi_fold(), operator_bitwise_or::wi_fold(), operator_bitwise_xor::wi_fold(), operator_max::wi_fold(), operator_min::wi_fold(), operator_minus::wi_fold(), operator_plus::wi_fold(), operator_trunc_mod::wi_fold(), wi_optimize_and_or(), and wi_optimize_signed_bitwise_op().

wi_optimize_and_or()

bool wi_optimize_and_or ( irange & r, enum tree_code code, tree type, const wide_int & lh_lb, const wide_int & lh_ub, const wide_int & rh_lb, const wide_int & rh_ub )

static

References wi::bit_and(), wi::bit_or(), wi::ctz(), wi::eq_p(), gcc_unreachable, wi::mask(), wi::ne_p(), r, irange::set_nonzero(), and value_range_with_overflow().

Referenced by operator_bitwise_and::wi_fold(), and operator_bitwise_or::wi_fold().

wi_optimize_signed_bitwise_op()

bool wi_optimize_signed_bitwise_op ( irange & r, tree type, const wide_int & lh_lb, const wide_int & lh_ub, const wide_int & rh_lb, const wide_int & rh_ub )

static

References wi::clrsb(), wi::mask(), MIN, r, TYPE_PRECISION, and value_range_with_overflow().

Referenced by operator_bitwise_and::wi_fold(), operator_bitwise_or::wi_fold(), and operator_bitwise_xor::wi_fold().

wi_set_zero_nonzero_bits()

void wi_set_zero_nonzero_bits	(	tree	type,
		const wide_int &	lb,
		const wide_int &	ub,
		wide_int &	maybe_nonzero,
		wide_int &	mustbe_nonzero )

References wi::bit_and_not(), wi::eq_p(), wi::floor_log2(), wi::ge_p(), wide_int_storage::get_precision(), wi::lt_p(), wi::mask(), wi::minus_one(), TYPE_SIGN, and wi::zero().

Referenced by vr_set_zero_nonzero_bits(), operator_bitwise_and::wi_fold(), operator_bitwise_or::wi_fold(), and operator_bitwise_xor::wi_fold().

Variable Documentation

default_operator

range_operator default_operator

Referenced by cfn_pass_through_arg1::op1_range(), cfn_signbit::op1_range(), range_op_handler::operator bool(), and range_op_handler::range_op_handler().

op_abs

const operator_abs op_abs

static

Referenced by cfn_constant_float_p::fold_range().

op_absu

operator_absu op_absu

Referenced by range_op_table::initialize_integral_ops().

op_addr

const operator_addr_expr op_addr

static

Referenced by cfn_constant_float_p::fold_range(), and cfn_constant_float_p::fold_range().

op_bitwise_and

const operator_bitwise_and op_bitwise_and

static

Referenced by cfn_constant_float_p::fold_range().

op_bitwise_not

const operator_bitwise_not op_bitwise_not

static

Referenced by cfn_constant_float_p::fold_range().

op_bitwise_or

const operator_bitwise_or op_bitwise_or

static

Referenced by cfn_constant_float_p::fold_range().

op_bitwise_xor

const operator_bitwise_xor op_bitwise_xor

static

Referenced by cfn_constant_float_p::fold_range().

op_cast

const operator_cast op_cast

static

Referenced by cfn_constant_float_p::fold_range().

op_ceil_div

const operator_div op_ceil_div(CEIL_DIV_EXPR) ( CEIL_DIV_EXPR )

static

Referenced by range_op_table::initialize_integral_ops().

op_cst

const operator_cst op_cst

static

Referenced by cfn_constant_float_p::fold_range().

op_equal

const operator_equal op_equal

static

Code for range operators.
   Copyright (C) 2017-2026 Free Software Foundation, Inc.
   Contributed by Andrew MacLeod <amacleod@redhat.com>
   and Aldy Hernandez <aldyh@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/>.   

Referenced by range_op_table::range_op_table().

op_exact_div

operator_exact_divide op_exact_div

Referenced by range_op_table::initialize_integral_ops().

op_floor_div

const operator_div op_floor_div(FLOOR_DIV_EXPR) ( FLOOR_DIV_EXPR )

static

Referenced by range_op_table::initialize_integral_ops().

op_ge

const operator_ge op_ge

static

Referenced by cfn_constant_float_p::fold_range().

op_gt

const operator_gt op_gt

static

Referenced by cfn_constant_float_p::fold_range().

op_ident

const operator_identity op_ident

static

Referenced by cfn_constant_float_p::fold_range().

op_le

const operator_le op_le

static

Referenced by cfn_constant_float_p::fold_range().

op_logical_and

operator_logical_and op_logical_and

Referenced by range_op_table::initialize_integral_ops(), and operator_bitwise_and::op1_range().

op_logical_not

operator_logical_not op_logical_not

Referenced by operator_bitwise_not::fold_range(), range_op_table::initialize_integral_ops(), and operator_bitwise_not::op1_range().

op_logical_or

operator_logical_or op_logical_or

Referenced by range_op_table::initialize_integral_ops(), and operator_bitwise_or::op1_range().

op_lshift

operator_lshift op_lshift

Referenced by range_op_table::initialize_integral_ops(), and operator_rshift::op1_range().

op_lt

const operator_lt op_lt

static

Referenced by cfn_constant_float_p::fold_range().

op_max

const operator_max op_max

static

Referenced by cfn_constant_float_p::fold_range().

op_min

const operator_min op_min

static

Referenced by cfn_constant_float_p::fold_range().

op_minus

const operator_minus op_minus

static

Referenced by cfn_constant_float_p::fold_range().

op_mult

const operator_mult op_mult

static

Referenced by cfn_constant_float_p::fold_range(), operator_lshift::fold_range(), operator_widen_mult_signed::wi_fold(), operator_widen_mult_signed_unsigned::wi_fold(), and operator_widen_mult_unsigned::wi_fold().

op_negate

const operator_negate op_negate

static

Referenced by cfn_constant_float_p::fold_range().

op_not_equal

const operator_not_equal op_not_equal

static

Referenced by cfn_constant_float_p::fold_range().

op_plus

const operator_plus op_plus

static

Referenced by cfn_constant_float_p::fold_range(), and operator_rshift::op1_range().

op_round_div

const operator_div op_round_div(ROUND_DIV_EXPR) ( ROUND_DIV_EXPR )

static

Referenced by range_op_table::initialize_integral_ops().

op_rshift

operator_rshift op_rshift

Referenced by range_op_table::initialize_integral_ops(), operator_lshift::op1_range(), and operator_rshift::op1_range().

op_trunc_div

const operator_div op_trunc_div(TRUNC_DIV_EXPR) ( TRUNC_DIV_EXPR )

static

Referenced by range_op_table::initialize_integral_ops().

op_trunc_mod

operator_trunc_mod op_trunc_mod

Referenced by range_op_table::initialize_integral_ops().

op_unknown

operator_unknown op_unknown

Referenced by range_op_table::initialize_integral_ops().

op_view

const operator_view op_view

static

Referenced by cfn_constant_float_p::fold_range().

op_widen_mult_signed

operator_widen_mult_signed op_widen_mult_signed

Referenced by range_op_table::initialize_integral_ops().

op_widen_mult_signed_unsigned

operator_widen_mult_signed_unsigned op_widen_mult_signed_unsigned

Referenced by range_op_table::initialize_integral_ops().

op_widen_mult_unsigned

operator_widen_mult_unsigned op_widen_mult_unsigned

Referenced by range_op_table::initialize_integral_ops().

op_widen_plus_signed

operator_widen_plus_signed op_widen_plus_signed

Referenced by range_op_table::initialize_integral_ops().

op_widen_plus_unsigned

operator_widen_plus_unsigned op_widen_plus_unsigned

Referenced by range_op_table::initialize_integral_ops().

operator_table

range_op_table operator_table

static

Referenced by range_op_handler::range_op_handler().

RO_FFF

const unsigned RO_FFF = dispatch_trio (VR_FRANGE, VR_FRANGE, VR_FRANGE)

static

Referenced by range_op_handler::fold_range(), range_op_handler::lhs_op1_relation(), range_op_handler::lhs_op2_relation(), range_op_handler::op1_op2_relation(), range_op_handler::op2_range(), and pointer_plus_operator::update_bitmask().

RO_FIF

const unsigned RO_FIF = dispatch_trio (VR_FRANGE, VR_IRANGE, VR_FRANGE)

static

Referenced by operator_pointer_diff::op1_op2_relation_effect(), range_op_handler::op2_range(), and pointer_plus_operator::update_bitmask().

RO_FII

const unsigned RO_FII = dispatch_trio (VR_FRANGE, VR_IRANGE, VR_IRANGE)

static

Referenced by range_op_handler::fold_range().

RO_IFF

const unsigned RO_IFF = dispatch_trio (VR_IRANGE, VR_FRANGE, VR_FRANGE)

static

Referenced by range_op_handler::fold_range(), range_op_handler::lhs_op1_relation(), range_op_handler::lhs_op2_relation(), and range_op_handler::op1_op2_relation().

RO_IFI

const unsigned RO_IFI = dispatch_trio (VR_IRANGE, VR_FRANGE, VR_IRANGE)

static

Referenced by range_op_handler::fold_range(), and pointer_plus_operator::update_bitmask().

RO_III

const unsigned RO_III = dispatch_trio (VR_IRANGE, VR_IRANGE, VR_IRANGE)

static

Referenced by range_op_handler::fold_range(), range_op_handler::lhs_op1_relation(), range_op_handler::lhs_op2_relation(), range_op_handler::op1_op2_relation(), range_op_handler::op2_range(), range_op_handler::overflow_free_p(), and pointer_plus_operator::update_bitmask().

RO_IPI

const unsigned RO_IPI = dispatch_trio (VR_IRANGE, VR_PRANGE, VR_IRANGE)

static

Referenced by pointer_plus_operator::lhs_op1_relation(), operator_pointer_diff::op1_op2_relation_effect(), and pointer_plus_operator::update_bitmask().

RO_IPP

const unsigned RO_IPP = dispatch_trio (VR_IRANGE, VR_PRANGE, VR_PRANGE)

static

Referenced by range_op_handler::lhs_op1_relation(), range_op_handler::op1_op2_relation(), operator_pointer_diff::op1_op2_relation_effect(), and range_op_handler::op2_range().

RO_PII

const unsigned RO_PII = dispatch_trio (VR_PRANGE, VR_IRANGE, VR_IRANGE)

static

Referenced by range_op_handler::lhs_op1_relation().

RO_PIP

const unsigned RO_PIP = dispatch_trio (VR_PRANGE, VR_IRANGE, VR_PRANGE)

static

Referenced by operator_pointer_diff::op1_op2_relation_effect(), range_op_handler::op2_range(), and pointer_plus_operator::update_bitmask().

RO_PPI

const unsigned RO_PPI = dispatch_trio (VR_PRANGE, VR_PRANGE, VR_IRANGE)

static

Referenced by range_op_handler::lhs_op1_relation(), operator_pointer_diff::op1_op2_relation_effect(), and pointer_plus_operator::update_bitmask().

RO_PPP

const unsigned RO_PPP = dispatch_trio (VR_PRANGE, VR_PRANGE, VR_PRANGE)

static

Referenced by range_op_handler::lhs_op1_relation(), operator_pointer_diff::op1_op2_relation_effect(), and pointer_plus_operator::update_bitmask().