bool
range_operator::fold_range (frange &r, tree type,
- const frange &op1, const frange &op2,
- relation_trio trio) const
+ const frange &op1, const frange &op2,
+ relation_trio trio) const
{
if (empty_range_varying (r, type, op1, op2))
return true;
bool
range_operator::fold_range (irange &r ATTRIBUTE_UNUSED,
- tree type ATTRIBUTE_UNUSED,
- const frange &lh ATTRIBUTE_UNUSED,
- const irange &rh ATTRIBUTE_UNUSED,
- relation_trio) const
+ tree type ATTRIBUTE_UNUSED,
+ const frange &lh ATTRIBUTE_UNUSED,
+ const irange &rh ATTRIBUTE_UNUSED,
+ relation_trio) const
{
return false;
}
bool
range_operator::fold_range (irange &r ATTRIBUTE_UNUSED,
- tree type ATTRIBUTE_UNUSED,
- const frange &lh ATTRIBUTE_UNUSED,
- const frange &rh ATTRIBUTE_UNUSED,
- relation_trio) const
+ tree type ATTRIBUTE_UNUSED,
+ const frange &lh ATTRIBUTE_UNUSED,
+ const frange &rh ATTRIBUTE_UNUSED,
+ relation_trio) const
{
return false;
}
bool
range_operator::op1_range (frange &r ATTRIBUTE_UNUSED,
- tree type ATTRIBUTE_UNUSED,
- const frange &lhs ATTRIBUTE_UNUSED,
- const frange &op2 ATTRIBUTE_UNUSED,
- relation_trio) const
+ tree type ATTRIBUTE_UNUSED,
+ const frange &lhs ATTRIBUTE_UNUSED,
+ const frange &op2 ATTRIBUTE_UNUSED,
+ relation_trio) const
{
return false;
}
bool
range_operator::op2_range (frange &r ATTRIBUTE_UNUSED,
- tree type ATTRIBUTE_UNUSED,
- const frange &lhs ATTRIBUTE_UNUSED,
- const frange &op1 ATTRIBUTE_UNUSED,
- relation_trio) const
+ tree type ATTRIBUTE_UNUSED,
+ const frange &lhs ATTRIBUTE_UNUSED,
+ const frange &op1 ATTRIBUTE_UNUSED,
+ relation_trio) const
{
return false;
}
bool
range_operator::op2_range (frange &r ATTRIBUTE_UNUSED,
- tree type ATTRIBUTE_UNUSED,
- const irange &lhs ATTRIBUTE_UNUSED,
- const frange &op1 ATTRIBUTE_UNUSED,
- relation_trio) const
+ tree type ATTRIBUTE_UNUSED,
+ const irange &lhs ATTRIBUTE_UNUSED,
+ const frange &op1 ATTRIBUTE_UNUSED,
+ relation_trio) const
{
return false;
}
relation_kind
range_operator::lhs_op1_relation (const frange &lhs ATTRIBUTE_UNUSED,
- const frange &op1 ATTRIBUTE_UNUSED,
- const frange &op2 ATTRIBUTE_UNUSED,
- relation_kind) const
+ const frange &op1 ATTRIBUTE_UNUSED,
+ const frange &op2 ATTRIBUTE_UNUSED,
+ relation_kind) const
{
return VREL_VARYING;
}
relation_kind
range_operator::lhs_op1_relation (const irange &lhs ATTRIBUTE_UNUSED,
- const frange &op1 ATTRIBUTE_UNUSED,
- const frange &op2 ATTRIBUTE_UNUSED,
- relation_kind) const
+ const frange &op1 ATTRIBUTE_UNUSED,
+ const frange &op2 ATTRIBUTE_UNUSED,
+ relation_kind) const
{
return VREL_VARYING;
}
relation_kind
range_operator::lhs_op2_relation (const irange &lhs ATTRIBUTE_UNUSED,
- const frange &op1 ATTRIBUTE_UNUSED,
- const frange &op2 ATTRIBUTE_UNUSED,
- relation_kind) const
+ const frange &op1 ATTRIBUTE_UNUSED,
+ const frange &op2 ATTRIBUTE_UNUSED,
+ relation_kind) const
{
return VREL_VARYING;
}
relation_kind
range_operator::lhs_op2_relation (const frange &lhs ATTRIBUTE_UNUSED,
- const frange &op1 ATTRIBUTE_UNUSED,
- const frange &op2 ATTRIBUTE_UNUSED,
- relation_kind) const
+ const frange &op1 ATTRIBUTE_UNUSED,
+ const frange &op2 ATTRIBUTE_UNUSED,
+ relation_kind) const
{
return VREL_VARYING;
}
bool
operator_equal::op1_range (frange &r, tree type,
- const irange &lhs,
- const frange &op2,
- relation_trio trio) const
+ const irange &lhs,
+ const frange &op2,
+ relation_trio trio) const
{
relation_kind rel = trio.op1_op2 ();
switch (get_bool_state (r, lhs, type))
bool
foperator_unordered_gt::op1_range (frange &r,
- tree type,
- const irange &lhs,
- const frange &op2,
- relation_trio) const
+ tree type,
+ const irange &lhs,
+ const frange &op2,
+ relation_trio) const
{
switch (get_bool_state (r, lhs, type))
{
bool
range_operator::fold_range (frange &, tree, const irange &,
- const frange &, relation_trio) const
+ const frange &, relation_trio) const
{
return false;
}
bool
range_operator::op1_range (irange &, tree, const frange &,
- const frange &, relation_trio) const
+ const frange &, relation_trio) const
{
return false;
}
bool
range_operator::op1_range (frange &, tree, const irange &,
- const irange &, relation_trio) const
+ const irange &, relation_trio) const
{
return false;
}
bool
range_operator::op1_op2_relation_effect (irange &lhs_range ATTRIBUTE_UNUSED,
- tree type ATTRIBUTE_UNUSED,
- const irange &op1_range ATTRIBUTE_UNUSED,
- const irange &op2_range ATTRIBUTE_UNUSED,
- relation_kind rel ATTRIBUTE_UNUSED) const
+ tree type ATTRIBUTE_UNUSED,
+ const irange &op1_range
+ ATTRIBUTE_UNUSED,
+ const irange &op2_range
+ ATTRIBUTE_UNUSED,
+ relation_kind rel
+ ATTRIBUTE_UNUSED) const
{
return false;
}
void
range_operator::update_bitmask (irange &, const irange &,
- const irange &) const
+ const irange &) const
{
}
static relation_kind
plus_minus_ranges (irange &r_ov, irange &r_normal, const irange &offset,
- bool add_p)
+ bool add_p)
{
relation_kind kind = VREL_VARYING;
// For now, only deal with constant adds. This could be extended to ranges
relation_kind
operator_bitwise_and::lhs_op1_relation (const irange &lhs,
- const irange &op1,
- const irange &op2,
- relation_kind) const
+ const irange &op1,
+ const irange &op2,
+ relation_kind) const
{
if (lhs.undefined_p () || op1.undefined_p () || op2.undefined_p ())
return VREL_VARYING;