2543     TryResult KnownVal = tryEvaluateBool(RHS);  in VisitLogicalOperator()  local
2544     if (!KnownVal.isKnown())  in VisitLogicalOperator()
2545       KnownVal = tryEvaluateBool(B);  in VisitLogicalOperator()
2553       addSuccessor(RHSBlock, TrueBlock, !KnownVal.isFalse());  in VisitLogicalOperator()
2554       addSuccessor(RHSBlock, FalseBlock, !KnownVal.isTrue());  in VisitLogicalOperator()
2593   TryResult KnownVal = tryEvaluateBool(LHS);  in VisitLogicalOperator()  local
2597     addSuccessor(LHSBlock, TrueBlock, !KnownVal.isFalse());  in VisitLogicalOperator()
2598     addSuccessor(LHSBlock, RHSBlock, !KnownVal.isTrue());  in VisitLogicalOperator()
2601     addSuccessor(LHSBlock, RHSBlock, !KnownVal.isFalse());  in VisitLogicalOperator()
2602     addSuccessor(LHSBlock, FalseBlock, !KnownVal.isTrue());  in VisitLogicalOperator()
2797   const TryResult& KnownVal = tryEvaluateBool(C->getCond());  in VisitChooseExpr()  local
2798   addSuccessor(Block, KnownVal.isFalse() ? nullptr : LHSBlock);  in VisitChooseExpr()
2799   addSuccessor(Block, KnownVal.isTrue() ? nullptr : RHSBlock);  in VisitChooseExpr()
2882   const TryResult& KnownVal = tryEvaluateBool(C->getCond());  in VisitConditionalOperator()  local
2883   addSuccessor(Block, LHSBlock, !KnownVal.isFalse());  in VisitConditionalOperator()
2884   addSuccessor(Block, RHSBlock, !KnownVal.isTrue());  in VisitConditionalOperator()
3172     TryResult KnownVal;  in VisitIfStmt()  local
3174       KnownVal = tryEvaluateBool(I->getCond());  in VisitIfStmt()
3178     addSuccessor(Block, ThenBlock, /* IsReachable = */ !KnownVal.isFalse());  in VisitIfStmt()
3179     addSuccessor(Block, ElseBlock, /* IsReachable = */ !KnownVal.isTrue());  in VisitIfStmt()
3608     TryResult KnownVal(true);  in VisitForStmt()  local
3637       KnownVal = tryEvaluateBool(C);  in VisitForStmt()
3641     addSuccessor(ExitConditionBlock, KnownVal.isFalse() ? nullptr : BodyBlock);  in VisitForStmt()
3645                  KnownVal.isTrue() ? nullptr : LoopSuccessor);  in VisitForStmt()
3964     const TryResult& KnownVal = tryEvaluateBool(C);  in VisitWhileStmt()  local
3967     addSuccessor(ExitConditionBlock, KnownVal.isFalse() ? nullptr : BodyBlock);  in VisitWhileStmt()
3971                  KnownVal.isTrue() ? nullptr : LoopSuccessor);  in VisitWhileStmt()
4203   const TryResult &KnownVal = tryEvaluateBool(D->getCond());  in VisitDoStmt()  local
4249     if (!KnownVal.isFalse())  in VisitDoStmt()
4258   addSuccessor(ExitConditionBlock, KnownVal.isTrue() ? nullptr : LoopSuccessor);  in VisitDoStmt()
4722   TryResult KnownVal(true);  in VisitCXXForRangeStmt()  local
4725     KnownVal = tryEvaluateBool(S->getCond());  in VisitCXXForRangeStmt()
4772                  KnownVal.isFalse() ? nullptr : LoopVarStmtBlock);  in VisitCXXForRangeStmt()
4777   addSuccessor(ConditionBlock, KnownVal.isTrue() ? nullptr : LoopSuccessor);  in VisitCXXForRangeStmt()