[PATCH] D155547: [analyzer] Model lifetime of a variable declared in for condition in CFG correctly

[Tomasz Kamiński via Phabricator via cfe-commits]

tomasz-kaminski-sonarsource marked an inline comment as done.
tomasz-kaminski-sonarsource added inline comments.


================
Comment at: clang/lib/Analysis/CFG.cpp:3511
     // go in this block as well.
     Block = Succ = TransitionBlock = createBlock(false);
     TransitionBlock->setLoopTarget(F);
----------------
To help clarify, the code always created a transition block, that could be empty. 
This block will either contain an increment statement or be the successor for any blocks created from increment statements.
And we are filling this transition block with the handling of the condition variable.



Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D155547/new/

https://reviews.llvm.org/D155547