 Artem Dergachev
|
e03d00f8b5
[analyzer] NFC: Move getStmt() and createEndOfPath() out of PathDiagnostic.
|
6 years ago |
|
Artem Dergachev
|
d8b8672fab
[CFG] NFC: Remove implicit conversion from CFGTerminator to Stmt *.
|
6 years ago |
 Chandler Carruth
|
324f918438
Update the file headers across all of the LLVM projects in the monorepo
|
6 years ago |
 Henry Wong
|
695584c53e
[analyzer] Unroll the loop when it has a unsigned counter.
|
7 years ago |
 Peter Szecsi
|
3caa3303ca
[analyzer] LoopUnrolling: update the matched assignment operators
|
7 years ago |
|
Peter Szecsi
|
5d548d284e
[analyzer] LoopUnrolling: check the bitwidth of the used numbers (pr34943)
|
7 years ago |
|
Peter Szecsi
|
424d9c2dea
[StaticAnalyzer] LoopUnrolling: Keep track the maximum number of steps for each loop
|
8 years ago |
|
Peter Szecsi
|
c86d935259
[StaticAnalyzer] LoopUnrolling: Excluding loops which splits the state
|
8 years ago |
|
Peter Szecsi
|
f358588224
[StaticAnalyzer] LoopUnrolling fixes
|
8 years ago |
|
Peter Szecsi
|
aae6854ddb
[StaticAnalyzer] LoopUnrolling: Track a LoopStack in order to completely unroll specific loops
|
8 years ago |
|
Peter Szecsi
|
e017f9615d
[StaticAnalyzer] LoopUnrolling: Exclude cases where the counter is escaped before the loop
|
8 years ago |
|
Peter Szecsi
|
e49d5153e8
[StaticAnalyzer] LoopUnrolling - Attempt #2 to fix a crash in r309006.
|
8 years ago |
|
Peter Szecsi
|
7acd9fa108
[StaticAnalyzer] LoopUnrolling - Attempt to fix a crash in r309006.
|
8 years ago |
|
Peter Szecsi
|
deada24dc0
[StaticAnalyzer] Completely unrolling specific loops with known bound option
|
8 years ago |
|
Peter Szecsi
|
d8149d5135
Revert "[StaticAnalyzer] Completely unrolling specific loops with known bound option"
|
8 years ago |
|
Peter Szecsi
|
6005cae969
[StaticAnalyzer] Completely unrolling specific loops with known bound option
|
8 years ago |
