1640       TryResult KnownVal = tryEvaluateBool(RHS);  in VisitLogicalOperator()  local
1641       if (!KnownVal.isKnown())  in VisitLogicalOperator()
1642         KnownVal = tryEvaluateBool(B);  in VisitLogicalOperator()
1643       addSuccessor(RHSBlock, TrueBlock, !KnownVal.isFalse());  in VisitLogicalOperator()
1644       addSuccessor(RHSBlock, FalseBlock, !KnownVal.isTrue());  in VisitLogicalOperator()
1683   TryResult KnownVal = tryEvaluateBool(LHS);  in VisitLogicalOperator()  local
1687     addSuccessor(LHSBlock, TrueBlock, !KnownVal.isFalse());  in VisitLogicalOperator()
1688     addSuccessor(LHSBlock, RHSBlock, !KnownVal.isTrue());  in VisitLogicalOperator()
1691     addSuccessor(LHSBlock, RHSBlock, !KnownVal.isFalse());  in VisitLogicalOperator()
1692     addSuccessor(LHSBlock, FalseBlock, !KnownVal.isTrue());  in VisitLogicalOperator()
1877   const TryResult& KnownVal = tryEvaluateBool(C->getCond());  in VisitChooseExpr()  local
1878   addSuccessor(Block, KnownVal.isFalse() ? nullptr : LHSBlock);  in VisitChooseExpr()
1879   addSuccessor(Block, KnownVal.isTrue() ? nullptr : RHSBlock);  in VisitChooseExpr()
1950   const TryResult& KnownVal = tryEvaluateBool(C->getCond());  in VisitConditionalOperator()  local
1951   addSuccessor(Block, LHSBlock, !KnownVal.isFalse());  in VisitConditionalOperator()
1952   addSuccessor(Block, RHSBlock, !KnownVal.isTrue());  in VisitConditionalOperator()
2194   const TryResult &KnownVal = tryEvaluateBool(I->getCond());  in VisitIfStmt()  local
2198   addSuccessor(Block, ThenBlock, /* isReachable = */ !KnownVal.isFalse());  in VisitIfStmt()
2199   addSuccessor(Block, ElseBlock, /* isReachable = */ !KnownVal.isTrue());  in VisitIfStmt()
2417     TryResult KnownVal(true);  in VisitForStmt()  local
2440       KnownVal = tryEvaluateBool(C);  in VisitForStmt()
2444     addSuccessor(ExitConditionBlock, KnownVal.isFalse() ? nullptr : BodyBlock);  in VisitForStmt()
2448                  KnownVal.isTrue() ? nullptr : LoopSuccessor);  in VisitForStmt()
2754     const TryResult& KnownVal = tryEvaluateBool(C);  in VisitWhileStmt()  local
2757     addSuccessor(ExitConditionBlock, KnownVal.isFalse() ? nullptr : BodyBlock);  in VisitWhileStmt()
2761                  KnownVal.isTrue() ? nullptr : LoopSuccessor);  in VisitWhileStmt()
2859   const TryResult &KnownVal = tryEvaluateBool(D->getCond());  in VisitDoStmt()  local
2895     if (!KnownVal.isFalse()) {  in VisitDoStmt()
2915   addSuccessor(ExitConditionBlock, KnownVal.isTrue() ? nullptr : LoopSuccessor);  in VisitDoStmt()
3364   TryResult KnownVal(true);  in VisitCXXForRangeStmt()  local
3367     KnownVal = tryEvaluateBool(S->getCond());  in VisitCXXForRangeStmt()
3406                  KnownVal.isFalse() ? nullptr : LoopVarStmtBlock);  in VisitCXXForRangeStmt()
3411   addSuccessor(ConditionBlock, KnownVal.isTrue() ? nullptr : LoopSuccessor);  in VisitCXXForRangeStmt()