[StaticAnalyzer] LoopUnrolling: Track a LoopStack in order to completely unroll specific loops
The LoopExit CFG information provides the opportunity to not mark the loops but
having a stack which tracks if a loop is unrolled or not. So in case of
simulating a loop we just add it and the information if it meets the
requirements to be unrolled to the top of the stack.
Differential Revision: https://reviews.llvm.org/D35684
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@311346
91177308-0d34-0410-b5e6-
96231b3b80d8
projects / clang / commit