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

[Gábor Horváth via Phabricator via cfe-commits]

xazax.hun added inline comments.


================
Comment at: clang/test/Analysis/auto-obj-dtors-cfg-output.cpp:1231
   A a;
-  for (A b; A c = b; ) {
+  for (A b; A c = b; ++c.x) {
     A d;
----------------
Would there be any value in also keeping a couple of the original test cases? (When we have empty increment blocks). 

How about a test case where the increment operation generates multiple basic blocks (e.g., have a ternary)?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D155547