aboutsummaryrefslogtreecommitdiff
path: root/gcc/tree-vrp.c
AgeCommit message (Expand)AuthorFilesLines
2019-12-05PR middle-end/92622 - FAIL: gcc.dg/Warray-bounds-22.c on ILP32: missing warni...Martin Sebor1-14/+16
2019-11-14Change fold_range to return a boolean result.Andrew MacLeod1-4/+2
2019-11-14Make normalize_addresses and normalize_symbolics work on THIS, insteadAldy Hernandez1-8/+13
2019-11-13Move plain value_range things to value-range.[hc]*.Aldy Hernandez1-1536/+0
2019-11-13Rewrite value_range constructors to the value_range_kind is at the end, and d...Aldy Hernandez1-60/+47
2019-11-12Remove gcc/params.* files.Martin Liska1-1/+0
2019-11-12Apply mechanical replacement (generated patch).Martin Liska1-2/+2
2019-11-12re PR tree-optimization/92452 (ICE in vrp_prop::check_array_ref at tree-vrp.c...Jakub Jelinek1-2/+5
2019-11-08Modify range_operator::fold_range() and wi_fold () to return via reference.Andrew MacLeod1-12/+8
2019-11-05PR middle-end/92333 - missing variable name referencing VLA in warningsMartin Sebor1-8/+27
2019-11-05Fix indentation inconsistencies introduced by previous patch.Aldy Hernandez1-14/+7
2019-11-05PR middle-end/92341 - missing -Warray-bounds indexing past the end of a compo...Martin Sebor1-9/+12
2019-11-05The base class for ranges is currently value_range_base, which is rather long...Aldy Hernandez1-150/+151
2019-11-05Move vrp_set_zero_nonzero_bits from tree-vrp.c into vr-values.c, and make it ...Aldy Hernandez1-63/+0
2019-11-05Move vrp_bitmap_equal_p above its only use and make it static.Aldy Hernandez1-12/+12
2019-11-05Use value_range_base::equal_p in value_range_base::operator== so we can handleAldy Hernandez1-24/+1
2019-11-04Do not special case pointers in value_range_base::set.Aldy Hernandez1-8/+3
2019-11-04Remove handle_pointers argument from all the vrp_val*{min,max} functions.Aldy Hernandez1-36/+34
2019-11-04Use the value_range_base constructors in value_range_base::invert toAldy Hernandez1-2/+4
2019-11-04Remove unused range_int_cst_singleton_p.Aldy Hernandez1-9/+0
2019-11-04Handle VR_UNDEFINED in value_range_base::normalize_addresses().Aldy Hernandez1-0/+3
2019-11-04Implement debugging functions for assert_info's.Aldy Hernandez1-0/+39
2019-11-04PR tree-optimization/92349 - ICE in -Warray-bounds of a VLA memberMartin Sebor1-1/+2
2019-11-01PR middle-end/91679 - missing -Warray-bounds accessing a member array in a lo...Martin Sebor1-31/+77
2019-10-23re PR tree-optimization/92131 (incorrect assumption that (ao >= 0) is always ...Eric Botcazou1-7/+8
2019-10-17re PR tree-optimization/92131 (incorrect assumption that (ao >= 0) is always ...Aldy Hernandez1-2/+2
2019-10-16Deal with incoming POLY_INT_CST ranges (PR92033)Richard Sandiford1-0/+18
2019-10-14Normalize unsigned ~[0,0] into [1,MAX].Aldy Hernandez1-4/+4
2019-10-07Disentangle range_fold_*ary_expr() into various independent pieces.Aldy Hernandez1-112/+152
2019-10-07Use value_range_base::num_pairs instead of vrp_val_is* to check if a rangeAldy Hernandez1-4/+1
2019-10-03Makefile.in (OBJS): Add range.o and range-op.o.Aldy Hernandez1-699/+527
2019-09-03re PR tree-optimization/91597 (GCC miscompiles a branch depending on a pointe...Jakub Jelinek1-3/+1
2019-08-30PR middle-end/91584 - Bogus warning from -Warray-bounds during string assignmentMartin Sebor1-16/+7
2019-08-28PR tree-optimization/91457 - inconsistent warning for writing past the end of...Martin Sebor1-19/+38
2019-08-26PR tree-optimization/83431 - -Wformat-truncation may incorrectly report trunc...Martin Sebor1-1/+1
2019-08-26[PATCH 1/2] Allow folding all statements.Robin Dapp1-0/+1
2019-08-16Add type to VR_VARYING.Aldy Hernandez1-49/+93
2019-08-15Enforce canonicalization in value_range.Aldy Hernandez1-92/+206
2019-07-31re PR tree-optimization/91257 (Compile-time and memory-hog hog)Richard Biener1-14/+16
2019-07-29re PR tree-optimization/91257 (Compile-time and memory-hog hog)Richard Biener1-31/+37
2019-07-25tree-vrp.c (extract_range_from_multiplicative_op): Add type parameter and use...Richard Biener1-4/+4
2019-07-25gimple-loop-versioning.cc (loop_versioning::prune_loop_conditions): Make valu...Richard Biener1-4/+6
2019-07-12invoke.texi (ssa-name-def-chain-limit): Document new --param.Martin Sebor1-1/+2
2019-07-11Do not try to further refine a VR_UNDEFINED result when intersectingAldy Hernandez1-0/+5
2019-06-13Revamp value_range::may_contain_p.Aldy Hernandez1-30/+17
2019-06-12Remove value_range_constant_singleton in favor of value_range::singleton_p.Aldy Hernandez1-15/+0
2019-06-07Split up value_range::intersect into base (value_range_base) andAldy Hernandez1-31/+62
2019-06-03tree-vrp.h (value_range_base::nonzero_p): New.Aldy Hernandez1-51/+22
2019-03-18PR tree-optimization/89720 - Spurious -Warray-bounds warning on a range with ...Martin Sebor1-19/+14
2019-03-13PR tree-optimization/89662 - -Warray-bounds ICE on void* arithmeticMartin Sebor1-4/+7