[PATCH] D39398: [CFG][Analyzer] Add LoopExit element to the CFG in more cases

[Peter Szecsi via Phabricator via cfe-commits]

szepet added inline comments.


================
Comment at: test/Analysis/loopexit-cfg-output.cpp:912-914
+// CHECK:       [B5]
+// CHECK-NEXT:   Succs (1): B8
+
----------------
NoQ wrote:
> P.S. This is not a regression introduced by your patch, but i'm really curious what does this block even do.
I believe this is the corresponding TransitionBlock to the WhileStmt (there is always a block which marks the looping back to the head of the loop event) but the optimization phase was good enough to detect that we will never proceed on that (since the first statement of the while loop is a goto jump).


https://reviews.llvm.org/D39398