Home | History | Annotate | Download | only in Analysis

Lines Matching refs:ThenBlock

2081   CFGBlock *ThenBlock;
2093     ThenBlock = addStmt(Then);
2095     if (!ThenBlock) {
2099       ThenBlock = createBlock(false);
2100       addSuccessor(ThenBlock, sv.get());
2118         return VisitLogicalOperator(Cond, I, ThenBlock, ElseBlock).first;
2131   addSuccessor(Block, ThenBlock, /* isReachable = */ !KnownVal.isFalse());