m.ostapenko added a comment. Now, the cfg for this example: void test_for_implicit_scope() { for (A a; A b = a;) A c; } looks like this: F5874197: CFG-implicit-for.dot <https://reviews.llvm.org/F5874197> Repository: rL LLVM https://reviews.llvm.org/D16403