range-op-ptr.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-ptr.cc:

Data Structures
class	pointer_plus_operator
class	operator_pointer_diff

Functions
static wide_int	max_limit (const_tree type)
static wide_int	min_limit (const_tree type)
static void	build_lt (prange &r, tree type, const prange &val)
static void	build_le (prange &r, tree type, const prange &val)
static void	build_gt (prange &r, tree type, const prange &val)
static void	build_ge (prange &r, tree type, const prange &val)

Variables
pointer_plus_operator	op_pointer_plus
operator_pointer_diff	op_pointer_diff

Function Documentation

build_ge()

void build_ge ( prange & r, tree type, const prange & val )

static

References prange::lower_bound(), max_limit(), and r.

build_gt()

void build_gt ( prange & r, tree type, const prange & val )

static

References wi::add(), prange::lower_bound(), max_limit(), r, and UNSIGNED.

build_le()

void build_le ( prange & r, tree type, const prange & val )

static

References r.

build_lt()

void build_lt ( prange & r, tree type, const prange & val )

static

max_limit()

wide_int max_limit ( const_tree type )

inlinestatic

References wi::max_value(), TYPE_PRECISION, and TYPE_SIGN.

Referenced by build_ge(), build_ge(), build_gt(), and build_gt().

min_limit()

wide_int min_limit ( const_tree type )

inlinestatic

References wi::min_value(), TYPE_PRECISION, and TYPE_SIGN.

Referenced by build_le(), build_lt(), operator_minus::op1_op2_relation_effect(), and operator_minus::op1_op2_relation_effect().

Variable Documentation

op_pointer_diff

operator_pointer_diff op_pointer_diff

Referenced by range_op_table::initialize_pointer_ops().

op_pointer_plus

pointer_plus_operator op_pointer_plus

Referenced by range_op_table::initialize_pointer_ops().