diff options
Diffstat (limited to 'gcc/range-op-mixed.h')
| -rw-r--r-- | gcc/range-op-mixed.h | 32 |
1 files changed, 26 insertions, 6 deletions
diff --git a/gcc/range-op-mixed.h b/gcc/range-op-mixed.h index bb8e90a..567b0cd 100644 --- a/gcc/range-op-mixed.h +++ b/gcc/range-op-mixed.h @@ -473,6 +473,16 @@ public: bool fold_range (prange &r, tree type, const irange &op1, const prange &op2, relation_trio rel = TRIO_VARYING) const final override; + bool fold_range (frange &r, tree type, + const frange &op1, const frange &op2, + relation_trio = TRIO_VARYING) const final override; + bool fold_range (irange &r, tree type, + const frange &op1, const irange &op2, + relation_trio = TRIO_VARYING) const final override; + bool fold_range (frange &r, tree type, + const irange &op1, const frange &op2, + relation_trio = TRIO_VARYING) const final override; + bool op1_range (irange &r, tree type, const irange &lhs, const irange &op2, relation_trio rel = TRIO_VARYING) const final override; @@ -485,6 +495,16 @@ public: bool op1_range (prange &r, tree type, const irange &lhs, const prange &op2, relation_trio rel = TRIO_VARYING) const final override; + bool op1_range (frange &r, tree type, + const frange &lhs, const frange &op2, + relation_trio = TRIO_VARYING) const final override; + bool op1_range (frange &r, tree type, + const irange &lhs, const frange &op2, + relation_trio = TRIO_VARYING) const final override; + bool op1_range (irange &r, tree type, + const frange &lhs, const irange &op2, + relation_trio = TRIO_VARYING) const final override; + relation_kind lhs_op1_relation (const irange &lhs, const irange &op1, const irange &op2, relation_kind) const final override; @@ -538,8 +558,8 @@ public: void update_bitmask (irange &r, const irange &lh, const irange &rh) const final override; - virtual bool overflow_free_p (const irange &lh, const irange &rh, - relation_trio = TRIO_VARYING) const; + bool overflow_free_p (const irange &lh, const irange &rh, + relation_trio = TRIO_VARYING) const final override; // Check compatibility of all operands. bool operand_check_p (tree t1, tree t2, tree t3) const final override { return range_compatible_p (t1, t2) && range_compatible_p (t1, t3); } @@ -614,8 +634,8 @@ public: void update_bitmask (irange &r, const irange &lh, const irange &rh) const final override; - virtual bool overflow_free_p (const irange &lh, const irange &rh, - relation_trio = TRIO_VARYING) const; + bool overflow_free_p (const irange &lh, const irange &rh, + relation_trio = TRIO_VARYING) const final override; // Check compatibility of all operands. bool operand_check_p (tree t1, tree t2, tree t3) const final override { return range_compatible_p (t1, t2) && range_compatible_p (t1, t3); } @@ -700,8 +720,8 @@ public: const REAL_VALUE_TYPE &lh_lb, const REAL_VALUE_TYPE &lh_ub, const REAL_VALUE_TYPE &rh_lb, const REAL_VALUE_TYPE &rh_ub, relation_kind kind) const final override; - virtual bool overflow_free_p (const irange &lh, const irange &rh, - relation_trio = TRIO_VARYING) const; + bool overflow_free_p (const irange &lh, const irange &rh, + relation_trio = TRIO_VARYING) const final override; // Check compatibility of all operands. bool operand_check_p (tree t1, tree t2, tree t3) const final override { return range_compatible_p (t1, t2) && range_compatible_p (t1, t3); } |