[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
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).


More information about the cfe-commits mailing list