analyzer: fix feasibility false +ve on jumps through function ptrs [PR107582]
[platform/upstream/gcc.git] / gcc / value-range.cc
2022-11-12 Aldy Hernandez[frange] Avoid testing signed zero test for -fno-signed...
2022-11-10 Aldy HernandezDo not specify NAN sign in frange::set_nonnegative.
2022-11-09 Aldy HernandezClear NAN when reading back a global range if necessary.
2022-11-08 Aldy HernandezProvide normalized and denormal format version of real_...
2022-11-02 Aldy HernandezFix bug in frange::contains_p() for signed zeros.
2022-11-01 Andrew MacLeodIntersect with nonzero bits can indicate change incorre...
2022-10-28 Aldy HernandezChange remaining flag_finite_math_only use in value...
2022-10-26 Aldy HernandezConvert flag_finite_math_only uses in frange to HONOR_*.
2022-10-24 Aldy HernandezCheck HONOR_NANS instead of flag_finite_math_only in...
2022-10-22 Aldy HernandezUpdate selftest such that [-Inf, +Inf] is always VARYIN...
2022-10-20 Aldy HernandezDo not set NAN flags for VARYING ranges when !HONOR_NANS.
2022-10-19 Aldy Hernandez[PR tree-optimization/107312] Make range_true_and_false...
2022-10-17 Aldy HernandezDo not test for -Inf when flag_finite_math_only.
2022-10-14 Aldy HernandezImplement distinction between HONOR_SIGNED_ZEROS and...
2022-10-14 Aldy HernandezCheck rvc_normal in real_isdenormal.
2022-10-14 Aldy HernandezNormalize ranges over the range for both bounds when...
2022-10-14 Aldy HernandezDrop -0.0 in frange::set() for !HONOR_SIGNED_ZEROS.
2022-10-12 Aldy HernandezDisable tree to bool conversion in frange::update_nan.
2022-10-11 Aldy Hernandez[PR107195] Set range to zero when nonzero mask is 0.
2022-10-07 Jonathan Wakelygcc: Fix comment typo
2022-10-07 Aldy HernandezConvert nonzero mask back to tree.
2022-10-07 Jakub JelinekFix comment typos
2022-10-06 Aldy HernandezSetting explicit NANs sets UNDEFINED for -ffinite-math...
2022-10-04 Aldy HernandezRemove assert from set_nonzero_bits.
2022-10-04 Aldy HernandezConvert nonzero mask in irange to wide_int.
2022-10-03 Aldy HernandezDo not pessimize range in set_nonzero_bits.
2022-10-03 Aldy HernandezAvoid comparing ranges when sub-ranges is 0.
2022-10-03 Aldy HernandezDo not compare nonzero masks for varying.
2022-09-27 Aldy Hernandezirange: keep better track of powers of 2.
2022-09-26 Martin Liskaranger: remove unused function
2022-09-23 Aldy Hernandezfrange: Make the setter taking trees a wrapper.
2022-09-23 Aldy Hernandezfrange: drop endpoints to min/max representable numbers...
2022-09-21 Aldy Hernandez[PR106967] Set known NANs to undefined for flag_finite_...
2022-09-21 Aldy HernandezClear unused flags in frange for undefined ranges.
2022-09-20 Aldy Hernandezfrange::set_nonnegative should not contain -NAN.
2022-09-20 Aldy Hernandezfrange: flush denormals to zero
2022-09-18 Jakub Jelinek[PR106831] Avoid propagating long doubles that may...
2022-09-18 Aldy HernandezRewrite NAN and sign handling in frange
2022-09-14 Aldy HernandezUse frange::set_nan() from the generic frange::set().
2022-09-14 Aldy HernandezProvide cleaner set_nan(), clear_nan(), and update_nan...
2022-09-14 Aldy HernandezMinor fixes to frange.
2022-09-12 Aldy Hernandezfrange::set_signbit: Avoid changing sign when already...
2022-09-08 Aldy HernandezImplement known/maybe fpclassify like API for frange.
2022-09-05 Aldy HernandezDo not ICE when updating a NAN to a non-NAN.
2022-09-05 Aldy HernandezBe even more conservative in intersection of NANs.
2022-09-04 Aldy HernandezDo not clobber signbit when unioning a NAN.
2022-09-03 Aldy Hernandez[PR/middle-end 106819] NANs can never be a singleton
2022-09-01 Aldy HernandezConvert ranger uses of real_inf to dconst[n]inf.
2022-09-01 Aldy HernandezAdd signbit property to frange to better model signed...
2022-09-01 Aldy HernandezMake frange selftests work on !HONOR_NANS systems.
2022-08-30 Aldy HernandezImprove union of ranges containing NAN.
2022-08-30 Aldy HernandezForce a [NAN, NAN] range when the definite NAN property...
2022-08-30 Aldy HernandezAdd support for floating point endpoints to frange.
2022-08-26 Aldy HernandezMake all default vrange setters set VARYING.
2022-08-15 Andrew MacLeodCheck for undefined and varying first.
2022-08-05 Aldy HernandezInline unsupported_range constructor.
2022-08-02 Aldy HernandezMore frange::set cleanups.
2022-08-01 Aldy HernandezCleanups to frange.
2022-08-01 Aldy Hernandezconst_tree conversion of vrange::supports_*
2022-07-26 Aldy HernandezHandle non constant ranges in irange pretty printer.
2022-07-25 Aldy Hernandezfrange class to represent floating point ranges
2022-07-15 Aldy HernandezConvert vrange dumping facilities to pretty_printer.
2022-07-15 Aldy HernandezImplement visitor pattern for vrange.
2022-07-13 Aldy HernandezClear nonzero mask when inverting ranges.
2022-07-12 Aldy HernandezSet nonzero bits from bitwise and operator in range...
2022-07-10 Aldy HernandezCleanups to irange::nonzero bit code.
2022-07-09 Aldy HernandezSet VR_VARYING in irange::irange_single_pair_union.
2022-07-04 Aldy HernandezIntegrate nonzero bits with irange.
2022-07-04 Aldy HernandezRemove some deprecated irange methods.
2022-06-03 Aldy HernandezFlesh out unsupported_range.
2022-06-03 Aldy HernandezImplement vrange::supports_type_p.
2022-06-01 Aldy HernandezImplement generic range temporaries.
2022-06-01 Aldy HernandezImplement abstract vrange class.
2022-05-13 Andrew MacLeodReturn a bool result for union, and add performance...
2022-05-13 Andrew MacLeodAdd a return value to intersect and speed it up.
2022-04-29 Aldy HernandezRemove various deprecated methods in class irange.
2022-01-17 Martin LiskaChange references of .c files to .cc files
2022-01-03 Jakub JelinekUpdate copyright years.
2021-12-06 Richard Sandifordranger: Optimise irange_union
2021-11-15 Aldy HernandezDrop tree overflow in irange setter.
2021-10-08 Aldy HernandezImplement irange::debug()
2021-10-06 Andrew MacLeodAdd range intersect with 2 wide-ints.
2021-05-25 Aldy HernandezFix selftest for targets where short and int are the...
2021-05-24 Aldy HernandezVARYING ranges of different sizes should not be equal.
2021-05-01 Aldy HernandezAdd GTY support for irange.
2021-04-26 Aldy HernandezHandle anti-ranges of MIN,MAX uniformly.
2021-04-26 Aldy HernandezCache irange::num_pairs() for non-legacy code.
2021-04-26 Aldy HernandezKeep VR_UNDEFINED and VR_VARYING in sync (speeds up...
2021-04-26 Aldy HernandezRemove irange::varying_p checks from symbolic_p and...
2021-04-26 Aldy HernandezReplace !irange::undefined_p checks with num_ranges...
2021-03-23 Aldy HernandezHandle setting of 1-bit anti-ranges uniformly.
2021-01-06 Richard Bienertree-optimization/98513 - fix bug in range intersection...
2021-01-04 Jakub JelinekUpdate copyright years.
2020-11-11 Aldy HernandezEarly exit on VR_VARYING from irange::set.
2020-11-10 Aldy HernandezEarly exit from irange::set for poly ints.
2020-11-10 Aldy HernandezNormalize VARYING for -fstrict-enums.
2020-11-09 Aldy HernandezClean up irange self tests.
2020-11-09 Aldy HernandezCleanup irange::set.
2020-10-28 Richard Sandifordvalue-range: Give up on POLY_INT_CST ranges [PR97457]
2020-10-26 Aldy HernandezHandle signed 1-bit ranges in irange::invert.
next