• Home
  • History
  • Annotate
Name Date Size #Lines LOC

..--

2007-07-15-NegativeStride.llD22-Nov-2023663 2217

2007-08-06-MisinterpretBranch.llD22-Nov-2023574 1915

2007-08-06-Unsigned.llD22-Nov-20231,016 3123

2007-09-27-LargeStepping.llD22-Nov-2023613 2318

2007-11-14-SignedAddRec.llD22-Nov-2023584 2519

2007-11-18-OrInstruction.llD22-Nov-2023433 2218

2008-02-11-ReversedCondition.llD22-Nov-2023355 1614

2008-02-12-SMAXTripCount.llD22-Nov-2023366 1715

2008-02-15-UMax.llD22-Nov-2023363 1815

2008-05-25-NegativeStepToZero.llD22-Nov-2023597 2318

2008-06-12-BinomialInt64.llD22-Nov-20231.6 KiB4436

2008-07-12-UnneededSelect1.llD22-Nov-20231.1 KiB3729

2008-07-12-UnneededSelect2.llD22-Nov-2023851 3124

2008-07-19-InfiniteLoop.llD22-Nov-2023371 1614

2008-07-19-WrappingIV.llD22-Nov-2023388 1614

2008-07-29-SGTTripCount.llD22-Nov-2023774 2921

2008-07-29-SMinExpr.llD22-Nov-2023822 2721

2008-08-04-IVOverflow.llD22-Nov-2023466 2821

2008-08-04-LongAddRec.llD22-Nov-20232.2 KiB5952

2008-11-02-QuadraticCrash.llD22-Nov-2023516 2217

2008-11-15-CubicOOM.llD22-Nov-2023526 2016

2008-11-18-LessThanOrEqual.llD22-Nov-2023879 3224

2008-11-18-Stride1.llD22-Nov-20231.2 KiB3628

2008-11-18-Stride2.llD22-Nov-20231 KiB3527

2008-12-08-FiniteSGE.llD22-Nov-2023936 2521

2008-12-11-SMaxOverflow.llD22-Nov-2023746 3122

2008-12-14-StrideAndSigned.llD22-Nov-2023575 2318

2008-12-15-DontUseSDiv.llD22-Nov-2023514 2217

2009-01-02-SignedNegativeStride.llD22-Nov-2023982 4129

2009-04-22-TruncCast.llD22-Nov-2023648 3831

2009-05-09-PointerEdgeCount.llD22-Nov-20231 KiB2922

2009-07-04-GroupConstantsWidthMismatch.llD22-Nov-2023376 1715

2010-09-03-RequiredTransitive.llD22-Nov-2023869 2519

2011-03-09-ExactNoMaxBECount.llD22-Nov-20231.2 KiB3529

2011-04-26-FoldAddRec.llD22-Nov-2023966 3327

2011-10-04-ConstEvolve.llD22-Nov-20231.2 KiB5146

SolveQuadraticEquation.llD22-Nov-20232.3 KiB8365

and-xor.llD22-Nov-2023174 97

avoid-infinite-recursion-0.llD22-Nov-20231.1 KiB3126

avoid-infinite-recursion-1.llD22-Nov-202326.8 KiB355307

avoid-smax-0.llD22-Nov-2023754 3628

avoid-smax-1.llD22-Nov-20238.1 KiB237194

dg.expD22-Nov-202384 42

div-overflow.llD22-Nov-2023244 118

do-loop.llD22-Nov-2023500 1915

fold.llD22-Nov-20231.3 KiB6358

max-trip-count.llD22-Nov-20233.4 KiB10177

nsw-offset.llD22-Nov-20233.2 KiB7859

nsw.llD22-Nov-20234.1 KiB10691

pointer-sign-bits.llD22-Nov-20238.3 KiB221150

pr3909.llD22-Nov-2023888 3123

scev-aa.llD22-Nov-20236.4 KiB216175

sext-inreg.llD22-Nov-20231.2 KiB3126

sext-iv-0.llD22-Nov-20231.4 KiB3933

sext-iv-1.llD22-Nov-20233.7 KiB10186

sext-iv-2.llD22-Nov-20232.2 KiB7555

sle.llD22-Nov-20231.1 KiB2822

smax.llD22-Nov-2023340 1311

trip-count.llD22-Nov-2023864 2921

trip-count10.llD22-Nov-20233.1 KiB127103

trip-count2.llD22-Nov-20231 KiB3527

trip-count3.llD22-Nov-20233.3 KiB7954

trip-count4.llD22-Nov-2023867 2520

trip-count5.llD22-Nov-20232.1 KiB4940

trip-count6.llD22-Nov-20231.1 KiB3828

trip-count7.llD22-Nov-20236.9 KiB151126

trip-count8.llD22-Nov-20231.2 KiB3828

trip-count9.llD22-Nov-202311.4 KiB409382

undefined.llD22-Nov-2023618 4026

unreachable-code.llD22-Nov-2023185 1410

unsimplified-loop.llD22-Nov-2023687 3021

xor-and.llD22-Nov-2023362 1310

zext-wrap.llD22-Nov-2023637 2518