GCC Middle and Back End API Reference
unsupported_range Class Referenceabstract

#include <value-range.h>

Inheritance diagram for unsupported_range:
Collaboration diagram for unsupported_range:

Public Member Functions

 unsupported_range ()
 
virtual void set_undefined () final override
 
virtual void accept (const vrange_visitor &v) const override
 
virtual void accept (const class vrange_visitor &v) const =0
 
virtual void set (tree, tree, value_range_kind=VR_RANGE)
 
virtual tree type () const
 
virtual bool supports_type_p (const_tree type) const
 
virtual void set_varying (tree type)
 
virtual bool union_ (const vrange &)
 
virtual bool intersect (const vrange &)
 
virtual bool singleton_p (tree *result=NULL) const
 
virtual bool contains_p (tree cst) const
 
virtual bool zero_p () const
 
virtual bool nonzero_p () const
 
virtual void set_nonzero (tree type)
 
virtual void set_zero (tree type)
 
virtual void set_nonnegative (tree type)
 
virtual bool fits_p (const vrange &r) const
 
bool varying_p () const
 
bool undefined_p () const
 
bool operator== (const vrange &) const
 
bool operator!= (const vrange &r) const
 
void dump (FILE *) const
 

Protected Attributes

enum value_range_kind m_kind: 8
 
enum value_range_discriminator m_discriminator: 4
 

Constructor & Destructor Documentation

◆ unsupported_range()

unsupported_range::unsupported_range ( )
inline

References set_undefined().

Member Function Documentation

◆ accept() [1/2]

virtual void vrange::accept ( const class vrange_visitor & v) const
pure virtualinherited

◆ accept() [2/2]

void unsupported_range::accept ( const vrange_visitor & v) const
overridevirtual

◆ contains_p()

bool vrange::contains_p ( tree cst) const
virtualinherited

Reimplemented in irange, and frange.

References vrange::varying_p().

Referenced by Value_Range::contains_p(), and get_bool_state().

◆ dump()

◆ fits_p()

bool vrange::fits_p ( const vrange & r) const
virtualinherited

Reimplemented in irange.

◆ intersect()

◆ nonzero_p()

bool vrange::nonzero_p ( ) const
virtualinherited

Reimplemented in irange, and frange.

Referenced by Value_Range::nonzero_p().

◆ operator!=()

bool vrange::operator!= ( const vrange & r) const
inlineinherited

References r.

◆ operator==()

bool vrange::operator== ( const vrange & src) const
inherited

◆ set()

void vrange::set ( tree min,
tree ,
value_range_kind = VR_RANGE )
virtualinherited

Reimplemented in irange, and frange.

References vrange::set_varying(), and TREE_TYPE.

Referenced by Value_Range::Value_Range().

◆ set_nonnegative()

void vrange::set_nonnegative ( tree type)
virtualinherited

Reimplemented in irange, and frange.

References vrange::set_varying().

◆ set_nonzero()

void vrange::set_nonzero ( tree type)
virtualinherited

Reimplemented in irange, and frange.

References vrange::set_varying().

Referenced by Value_Range::set_nonzero().

◆ set_undefined()

virtual void unsupported_range::set_undefined ( )
inlinefinaloverridevirtual

Reimplemented from vrange.

References vrange::m_kind, and VR_UNDEFINED.

Referenced by unsupported_range().

◆ set_varying()

void vrange::set_varying ( tree type)
virtualinherited

◆ set_zero()

void vrange::set_zero ( tree type)
virtualinherited

Reimplemented in irange, and frange.

References vrange::set_varying().

Referenced by Value_Range::set_zero().

◆ singleton_p()

bool vrange::singleton_p ( tree * result = NULL) const
virtualinherited

Reimplemented in irange, and frange.

Referenced by ipa_value_range_from_jfunc(), and Value_Range::singleton_p().

◆ supports_type_p()

bool vrange::supports_type_p ( const_tree type) const
virtualinherited

Reimplemented in irange, and frange.

◆ type()

◆ undefined_p()

bool vrange::undefined_p ( ) const
inlineinherited

References vrange::m_kind, and VR_UNDEFINED.

Referenced by inchash::add_vrange(), adjust_equivalence_range(), array_bounds_checker::check_array_ref(), frange::clear_nan(), frange::combine_zeros(), compare_nonzero_chars(), gori_compute::compute_operand_range(), gori_compute::compute_operand_range_switch(), frange::contains_p(), irange::contains_p(), strlen_pass::count_nonzero_bytes_addr(), dr_step_indicator(), empty_range_varying(), expr_not_equal_to(), expr_to_aff_combination(), find_case_label_ranges(), find_range_for_lhs(), frange::flush_denormals_to_zero(), operator_lshift::fold_range(), operator_rshift::fold_range(), irange::get_bitmask(), get_bool_state(), irange::get_nonzero_bits(), get_range_strlen_dynamic(), get_ref_base_and_extent(), get_shift_range(), get_size_range(), handle_printf_call(), vrange::intersect(), irange::intersect(), frange::intersect(), irange::intersect(), irange::intersect_bitmask(), irange::invert(), irange::irange_contains_p(), irange::irange_single_pair_union(), frange::known_isfinite(), operator_identity::lhs_op1_relation(), operator_plus::lhs_op1_relation(), operator_minus::lhs_op1_relation(), operator_rshift::lhs_op1_relation(), operator_cast::lhs_op1_relation(), operator_bitwise_and::lhs_op1_relation(), frange::lower_bound(), frange::maybe_isinf(), frange::maybe_isnan(), frange::maybe_isnan(), frange::nan_signbit_p(), irange::nonzero_p(), operator_equal::op1_op2_relation(), operator_not_equal::op1_op2_relation(), operator_lt::op1_op2_relation(), operator_le::op1_op2_relation(), operator_gt::op1_op2_relation(), operator_ge::op1_op2_relation(), operator_equal::op1_op2_relation(), operator_not_equal::op1_op2_relation(), operator_lt::op1_op2_relation(), operator_le::op1_op2_relation(), operator_gt::op1_op2_relation(), operator_ge::op1_op2_relation(), foperator_div::op1_range(), operator_plus::op1_range(), operator_minus::op1_range(), operator_mult::op1_range(), operator_le::op1_range(), foperator_unordered_lt::op1_range(), foperator_unordered_le::op1_range(), foperator_unordered_gt::op1_range(), foperator_unordered_ge::op1_range(), operator_lt::op1_range(), operator_gt::op1_range(), operator_ge::op1_range(), operator_rshift::op1_range(), pointer_or_operator::op1_range(), operator_cast::op1_range(), operator_addr_expr::op1_range(), operator_bitwise_not::op1_range(), operator_bitwise_xor::op1_range(), operator_lshift::op1_range(), operator_bitwise_and::op1_range(), operator_bitwise_or::op1_range(), operator_exact_divide::op1_range(), operator_trunc_mod::op1_range(), operator_plus::op1_range(), operator_minus::op1_range(), operator_mult::op1_range(), operator_not_equal::op1_range(), operator_lt::op1_range(), operator_le::op1_range(), operator_gt::op1_range(), operator_ge::op1_range(), operator_equal::op1_range(), range_op_handler::op1_range(), foperator_div::op2_range(), operator_minus::op2_range(), operator_le::op2_range(), foperator_unordered_lt::op2_range(), foperator_unordered_le::op2_range(), foperator_unordered_gt::op2_range(), foperator_unordered_ge::op2_range(), operator_lt::op2_range(), operator_gt::op2_range(), operator_ge::op2_range(), operator_trunc_mod::op2_range(), operator_minus::op2_range(), operator_lt::op2_range(), operator_le::op2_range(), operator_gt::op2_range(), operator_ge::op2_range(), range_op_handler::op2_range(), frange::operator==(), range_fits_type_p(), range_includes_zero_p(), irange::set_nonzero_bits(), set_nonzero_range_from_mask(), irange::set_range_from_bitmask(), set_switch_stmt_execution_predicate(), frange::signbit_p(), simplify_using_ranges::simplify(), simplify_using_ranges::simplify_casted_compare(), simplify_using_ranges::simplify_compare_using_ranges_1(), simplify_conversion_using_ranges(), simplify_using_ranges::simplify_div_or_mod_using_ranges(), simplify_using_ranges::simplify_float_conversion_using_ranges(), simplify_using_ranges::simplify_switch_using_ranges(), size_must_be_zero_p(), split_constant_offset(), simplify_using_ranges::two_valued_val_range_p(), frange::type(), Value_Range::undefined_p(), vrange::union_(), irange::union_(), frange::union_(), irange::union_bitmask(), unswitch_predicate::unswitch_predicate(), irange::update_bitmask(), frange::update_nan(), frange::update_nan(), frange::update_nan(), frange::upper_bound(), relation_oracle::validate_relation(), vect_get_range_info(), frange::verify_range(), and vr_set_zero_nonzero_bits().

◆ union_()

bool vrange::union_ ( const vrange & r)
virtualinherited

◆ varying_p()

◆ zero_p()

bool vrange::zero_p ( ) const
virtualinherited

Reimplemented in irange, and frange.

Referenced by get_bool_state(), and Value_Range::zero_p().

Field Documentation

◆ m_discriminator

◆ m_kind


The documentation for this class was generated from the following files: