]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f358588) | patch
[StaticAnalyzer] LoopUnrolling: Excluding loops which splits the state
authorPeter Szecsi <szepet95@gmail.com>
Mon, 28 Aug 2017 10:34:50 +0000 (10:34 +0000)
committerPeter Szecsi <szepet95@gmail.com>
Mon, 28 Aug 2017 10:34:50 +0000 (10:34 +0000)
commitc86d935259168ae10f36f57607bb194edb787134
treed081e8011b138d87a3a0d5bfc5f61b20c1a53eb0tree | snapshot
parentf358588224c48fa4ce3a7c448064ac9e36858c15commit | diff
[StaticAnalyzer] LoopUnrolling: Excluding loops which splits the state

Added check if the execution of the last step of the given unrolled loop has
generated more branches. If yes, than treat it as a normal (non-unrolled) loop
in the remaining part of the analysis.

Differential Revision: https://reviews.llvm.org/D36962

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@311881 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/LoopUnrolling.cpp diff | blob | history
test/Analysis/loop-unrolling.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.