aboutsummaryrefslogtreecommitdiff
path: root/gcc/range-op.cc
AgeCommit message (Expand)AuthorFilesLines
2022-02-03ranger: Fix up wi_fold_in_parts for small precision types [PR104334]Jakub Jelinek1-12/+10
2022-01-13Add relation to unsigned right shift.Andrew MacLeod1-0/+16
2022-01-11Prevent exponential range calculations.Andrew MacLeod1-3/+5
2022-01-03Update copyright years.Jakub Jelinek1-1/+1
2021-11-30Remove can_throw_non_call_exceptions special case from operator_div::wi_fold.Aldy Hernandez1-7/+0
2021-10-02[PR102563] Do not clobber range in operator_lshift::op1_range.Aldy Hernandez1-6/+6
2021-10-02[PR102546] X << Y being non-zero implies X is also non-zero.Aldy Hernandez1-4/+14
2021-09-03Implement POINTER_DIFF_EXPR entry in range-op.Aldy Hernandez1-7/+38
2021-09-03Improve support for IMAGPART_EXPR and REALPART_EXPR in ranger.Aldy Hernandez1-0/+1
2021-08-17Special case -TYPE_MIN_VALUE for flag_wrapv in operator_abs::op1_range.Andrew MacLeod1-0/+6
2021-07-30Handle constants in wi_fold for trunc_mod.Andrew MacLeod1-0/+12
2021-07-30Change integral divide by zero to produce UNDEFINED.Andrew MacLeod1-8/+1
2021-07-26Implement operator_bitwise_xor::op1_op2_relation_effect.Aldy Hernandez1-0/+33
2021-07-26Pass relationship to methods calling generic fold_range.Aldy Hernandez1-4/+4
2021-07-16Add wi_fold_in_parts.Andrew MacLeod1-5/+70
2021-07-12Do not register a cast as an equivalence.Andrew MacLeod1-25/+0
2021-07-02Fix build_gt and build_lt for signed 1 bit values.Andrew MacLeod1-2/+16
2021-06-29Fix MINUS_EXPR relations.Andrew MacLeod1-17/+47
2021-06-24Fix comment typo.Andrew MacLeod1-1/+1
2021-06-22Add relational self-tests.Andrew MacLeod1-0/+25
2021-06-22Add relation between LHS and op1 for casts and copies.Andrew MacLeod1-0/+41
2021-06-22Add relation effects between operands to MINUS_EXPR.Andrew MacLeod1-0/+44
2021-06-22Add relations between LHS and op1/op2 for PLUS_EXPR.Andrew MacLeod1-0/+80
2021-06-22Add relational support to range-op.Andrew MacLeod1-136/+448
2021-06-15range-ops: (nonzero | X) is nonzeroAldy Hernandez1-5/+26
2021-05-10Remove call to gcc_unreachable in range-op.ccEric Botcazou1-6/+5
2021-05-07Change x mod 0 to produce UNDEFINED rather than VARYING.Andrew MacLeod1-1/+1
2021-01-04Update copyright years.Jakub Jelinek1-1/+1
2020-12-17Fix trap in pointer conversion in op1_range.Andrew MacLeod1-0/+25
2020-11-20ranger: Improve a % b operand ranges [PR91029]Jakub Jelinek1-16/+53
2020-11-19Process only valid shift ranges.Andrew MacLeod1-28/+36
2020-11-18vrp: Fix operator_trunc_mod::op1_range [PR97888]Jakub Jelinek1-3/+3
2020-11-17recognize implied ranges for modulo.Andrew MacLeod1-0/+28
2020-11-17IOR with nonzero, range cannot contain 0.Andrew MacLeod1-0/+8
2020-11-13Cleanup range of address calculations.Andrew MacLeod1-0/+1
2020-11-12Change range_handler, was Re: Fix gimple_expr_code?Andrew MacLeod1-2/+4
2020-11-10Fix wrong code for boolean negation in condition at -O2Eric Botcazou1-14/+14
2020-11-09Clean up irange self tests.Aldy Hernandez1-493/+150
2020-11-05Pass multi-range from range_query::value_* routinesAndrew MacLeod1-6/+6
2020-10-26Handle signed 1-bit ranges in irange::invert.Aldy Hernandez1-2/+15
2020-10-20Special case shifting by zero in operator_rshift::op1_range.Aldy Hernandez1-0/+5
2020-10-19Gracefully handle right shifts larger than the precision.Aldy Hernandez1-0/+4
2020-10-19Handle right shifts by zero in range-ops.Aldy Hernandez1-0/+5
2020-10-16pointer_plus [0, 0] + const foldingAndrew MacLeod1-0/+8
2020-10-16Don't assert on a negative shift.Andrew MacLeod1-1/+2
2020-10-12operator_trunc_mod::wi_fold: Return VARYING for mod by zero.Aldy Hernandez1-3/+3
2020-10-12Ignore shifts larger than precision in operator_rshift::op1_range.Aldy Hernandez1-0/+7
2020-10-09Fix for PR97317.Andrew MacLeod1-7/+18
2020-10-08Fix PR97315 (part 2 of 2)Aldy Hernandez1-0/+9
2020-10-05Cleanup legacy_union and legacy intersect in value_range.Aldy Hernandez1-0/+21
generated by cgit v1.1 at 2025-02-12 17:51:05 +0000