[PATCH] D39398: [CFG][Analyzer] Add LoopExit element to the CFG in more cases
Peter Szecsi via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Thu Jan 18 15:47:44 PST 2018
szepet added inline comments.
Comment at: test/Analysis/loopexit-cfg-output.cpp:912-914
+// CHECK: [B5]
+// CHECK-NEXT: Succs (1): B8
> 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).
More information about the cfe-commits