[clang][dataflow] Include terminator statements in buildStmtToBasicBlockMap
This will be necessary later when we add support for evaluating logic expressions such as && and ||. This is part of the implementation of the dataflow analysis framework. See "[RFC] A dataflow analysis framework for Clang AST" on cfe-dev. Reviewed-by: xazax.hun Differential Revision: https://reviews.llvm.org/D119447
This commit is contained in:
parent
ef4d1119cc
commit
87c32be023
|
@ -38,6 +38,8 @@ buildStmtToBasicBlockMap(const CFG &Cfg) {
|
|||
|
||||
StmtToBlock[Stmt.getValue().getStmt()] = Block;
|
||||
}
|
||||
if (const Stmt *TerminatorStmt = Block->getTerminatorStmt())
|
||||
StmtToBlock[TerminatorStmt] = Block;
|
||||
}
|
||||
return StmtToBlock;
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue