File tree Expand file tree Collapse file tree 1 file changed +8
-3
lines changed Expand file tree Collapse file tree 1 file changed +8
-3
lines changed Original file line number Diff line number Diff line change @@ -398,10 +398,15 @@ class FactGenerator : public ConstStmtVisitor<FactGenerator> {
398
398
CurrentBlockFacts.clear ();
399
399
for (unsigned I = 0 ; I < Block->size (); ++I) {
400
400
const CFGElement &Element = Block->Elements [I];
401
- if (std::optional<CFGStmt> CS = Element.getAs <CFGStmt>())
401
+ if (std::optional<CFGStmt> CS = Element.getAs <CFGStmt>()) {
402
+ DEBUG_WITH_TYPE (" PrintCFG" ,
403
+ llvm::dbgs ()
404
+ << " ======CFGStmt and ASTStmt========\n " );
405
+ DEBUG_WITH_TYPE (" PrintCFG" , CS->dump ());
406
+ DEBUG_WITH_TYPE (" PrintCFG" , CS->getStmt ()->dumpColor ());
402
407
Visit (CS->getStmt ());
403
- else if (std::optional<CFGAutomaticObjDtor> DtorOpt =
404
- Element.getAs <CFGAutomaticObjDtor>())
408
+ } else if (std::optional<CFGAutomaticObjDtor> DtorOpt =
409
+ Element.getAs <CFGAutomaticObjDtor>())
405
410
handleDestructor (*DtorOpt);
406
411
}
407
412
FactMgr.addBlockFacts (Block, CurrentBlockFacts);
You can’t perform that action at this time.
0 commit comments