• Home
Name
Date
Size
#Lines
LOC

..--

2007-07-15-NegativeStride.llD03-May-2024681 2317

2007-08-06-MisinterpretBranch.llD03-May-2024590 2116

2007-08-06-Unsigned.llD03-May-20241 KiB3324

2007-09-27-LargeStepping.llD03-May-2024618 2418

2007-11-14-SignedAddRec.llD03-May-2024600 2720

2007-11-18-OrInstruction.llD03-May-2024433 2218

2008-02-11-ReversedCondition.llD03-May-2024371 1815

2008-02-12-SMAXTripCount.llD03-May-2024381 1816

2008-02-15-UMax.llD03-May-2024381 2016

2008-05-25-NegativeStepToZero.llD03-May-2024602 2418

2008-06-12-BinomialInt64.llD03-May-20241.6 KiB4436

2008-07-12-UnneededSelect1.llD03-May-20241.2 KiB4031

2008-07-12-UnneededSelect2.llD03-May-2024945 3426

2008-07-19-InfiniteLoop.llD03-May-2024378 1714

2008-07-19-WrappingIV.llD03-May-2024393 1714

2008-07-29-SGTTripCount.llD03-May-2024774 2921

2008-07-29-SMinExpr.llD03-May-2024822 2721

2008-08-04-IVOverflow.llD03-May-2024466 2821

2008-08-04-LongAddRec.llD03-May-20242.2 KiB5952

2008-11-02-QuadraticCrash.llD03-May-2024516 2217

2008-11-15-CubicOOM.llD03-May-2024526 2016

2008-11-18-LessThanOrEqual.llD03-May-2024887 3324

2008-11-18-Stride1.llD03-May-20241.2 KiB3929

2008-11-18-Stride2.llD03-May-20241.1 KiB3828

2008-12-08-FiniteSGE.llD03-May-2024967 2722

2008-12-11-SMaxOverflow.llD03-May-2024746 3122

2008-12-14-StrideAndSigned.llD03-May-2024585 2418

2008-12-15-DontUseSDiv.llD03-May-2024523 2317

2009-01-02-SignedNegativeStride.llD03-May-20241.1 KiB4431

2009-04-22-TruncCast.llD03-May-20241.2 KiB5643

2009-05-09-PointerEdgeCount.llD03-May-20241.1 KiB3223

2009-07-04-GroupConstantsWidthMismatch.llD03-May-2024385 1715

2010-09-03-RequiredTransitive.llD03-May-2024931 2720

2011-03-09-ExactNoMaxBECount.llD03-May-20241.2 KiB3529

2011-04-26-FoldAddRec.llD03-May-2024967 3427

2011-10-04-ConstEvolve.llD03-May-20241.2 KiB5146

2012-03-26-LoadConstant.llD03-May-20241.6 KiB4435

2012-05-18-LoopPredRecurse.llD03-May-2024996 3125

2012-05-29-MulAddRec.llD03-May-20241.8 KiB4639

SolveQuadraticEquation.llD03-May-20242.8 KiB10380

and-xor.llD03-May-2024628 2822

avoid-infinite-recursion-0.llD03-May-20241.1 KiB3126

avoid-infinite-recursion-1.llD03-May-202426.8 KiB355307

avoid-smax-0.llD03-May-2024790 3829

avoid-smax-1.llD03-May-20248.2 KiB235192

div-overflow.llD03-May-2024246 128

do-loop.llD03-May-2024518 2116

ext-antecedent.llD03-May-2024982 4638

fold.llD03-May-20242.3 KiB10193

how-far-to-zero.llD03-May-2024978 2822

incorrect-nsw.llD03-May-2024689 2720

infer-prestart-no-wrap.llD03-May-20242.9 KiB10286

infer-via-ranges.llD03-May-2024755 3125

latch-dominating-conditions.llD03-May-20241.4 KiB5646

load-with-range-metadata.llD03-May-2024972 3830

load.llD03-May-20244 KiB6654

max-trip-count-address-space.llD03-May-20242.2 KiB6952

max-trip-count.llD03-May-20247.2 KiB210167

min-max-exprs.llD03-May-20241.8 KiB5449

nowrap-preinc-limits.llD03-May-20241,004 4533

nsw-offset-assume.llD03-May-20243.6 KiB8464

nsw-offset.llD03-May-20243.3 KiB7859

nsw.llD03-May-20246.2 KiB180151

nw-sub-is-not-nw-add.llD03-May-2024939 4234

pointer-sign-bits.llD03-May-20248.3 KiB221150

pr22179.llD03-May-2024974 2923

pr22641.llD03-May-2024606 2620

pr22674.llD03-May-20246.4 KiB10278

pr22856.llD03-May-2024954 3425

pr3909.llD03-May-2024888 3123

range-signedness.llD03-May-2024882 4029

scev-aa.llD03-May-20246.6 KiB216175

scev-expander-incorrect-nowrap.llD03-May-2024722 3123

scev-invalid.llD03-May-2024814 3530

scev-prestart-nowrap.llD03-May-20242.3 KiB8369

sext-inreg.llD03-May-20241.2 KiB3126

sext-iv-0.llD03-May-20241.5 KiB3933

sext-iv-1.llD03-May-20244 KiB10892

sext-iv-2.llD03-May-20242.3 KiB7555

sle.llD03-May-20241.1 KiB2822

smax.llD03-May-2024330 1512

trip-count-pow2.llD03-May-20241.3 KiB5447

trip-count-switch.llD03-May-2024817 3123

trip-count.llD03-May-20243.2 KiB9173

trip-count10.llD03-May-20244 KiB152125

trip-count11.llD03-May-20242.1 KiB5643

trip-count12.llD03-May-20241.4 KiB3628

trip-count2.llD03-May-20241 KiB3527

trip-count3.llD03-May-20243.4 KiB8155

trip-count4.llD03-May-2024896 2620

trip-count5.llD03-May-20242.2 KiB4940

trip-count6.llD03-May-20241.1 KiB3928

trip-count7.llD03-May-20247.1 KiB152126

trip-count8.llD03-May-20241.2 KiB3928

trip-count9.llD03-May-202411.7 KiB416389

undefined.llD03-May-2024618 4026

unreachable-code.llD03-May-2024185 1410

unsimplified-loop.llD03-May-2024687 3021

zext-signed-addrec.llD03-May-20243.1 KiB8263

zext-wrap.llD03-May-2024651 2417