summaryrefslogtreecommitdiffstats
path: root/clang/test/Analysis/loop-unrolling.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] StackFrameContext: Add NodeBuilderContext::blockCount() to its pro...Csaba Dabis2019-08-011-5/+5
* [Analyzer][Z3] Test fixes for Z3 constraint managerVlad Tsyrklevich2018-06-061-0/+4
* [analyzer] Unroll the loop when it has a unsigned counter.Henry Wong2018-03-311-0/+23
* [analyzer] LoopUnrolling: update the matched assignment operatorsPeter Szecsi2018-03-271-11/+99
* [analyzer] [tests] Again, make tests more resilient to changes in exploration...George Karpenkov2018-03-021-1/+1
* [analyzer] Switch the default exploration strategy to priority queue based on...George Karpenkov2018-02-271-0/+5
* [analyzer] LoopUnrolling: check the bitwidth of the used numbers (pr34943)Peter Szecsi2017-10-281-0/+6
* [StaticAnalyzer] LoopUnrolling: Keep track the maximum number of steps for ea...Peter Szecsi2017-08-281-3/+56
* [StaticAnalyzer] LoopUnrolling: Excluding loops which splits the statePeter Szecsi2017-08-281-14/+55
* [StaticAnalyzer] LoopUnrolling fixesPeter Szecsi2017-08-281-0/+7
* [StaticAnalyzer] LoopUnrolling: Track a LoopStack in order to completely unro...Peter Szecsi2017-08-211-1/+54
* [StaticAnalyzer] LoopUnrolling: Exclude cases where the counter is escaped be...Peter Szecsi2017-08-191-1/+46
* [StaticAnalyzer] Completely unrolling specific loops with known bound optionPeter Szecsi2017-07-251-0/+176
* Revert "[StaticAnalyzer] Completely unrolling specific loops with known bound...Peter Szecsi2017-07-201-181/+0
* [StaticAnalyzer] Completely unrolling specific loops with known bound option Peter Szecsi2017-07-201-0/+181
OpenPOWER on IntegriCloud