diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/cfg/cfg-traversal.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/cfg/cfg-traversal.h b/src/cfg/cfg-traversal.h index 004f23752..99bc25ea8 100644 --- a/src/cfg/cfg-traversal.h +++ b/src/cfg/cfg-traversal.h @@ -58,7 +58,8 @@ struct CFGWalker : public ControlFlowWalker<SubType, VisitorType> { // traversal state BasicBlock* currBasicBlock; // the current block in play during traversal. can be nullptr if unreachable, // but note that we don't do a deep unreachability analysis - just enough - // to be useful, given that DCE has run before. + // to avoid constructing obviously-unreachable blocks (we do a full reachability + // analysis on the CFG once it is constructed). std::map<Expression*, std::vector<BasicBlock*>> branches; // a block or loop => its branches std::vector<BasicBlock*> ifStack; std::vector<BasicBlock*> loopStack; |