1243       TryResult KnownVal = tryEvaluateBool(RHS);  in VisitLogicalOperator()  local
1244       addSuccessor(RHSBlock, KnownVal.isFalse() ? NULL : TrueBlock);  in VisitLogicalOperator()
1245       addSuccessor(RHSBlock, KnownVal.isTrue() ? NULL : FalseBlock);  in VisitLogicalOperator()
1284   TryResult KnownVal = tryEvaluateBool(LHS);  in VisitLogicalOperator()  local
1288     addSuccessor(LHSBlock, KnownVal.isFalse() ? NULL : TrueBlock);  in VisitLogicalOperator()
1289     addSuccessor(LHSBlock, KnownVal.isTrue() ? NULL : RHSBlock);  in VisitLogicalOperator()
1292     addSuccessor(LHSBlock, KnownVal.isFalse() ? NULL : RHSBlock);  in VisitLogicalOperator()
1293     addSuccessor(LHSBlock, KnownVal.isTrue() ? NULL : FalseBlock);  in VisitLogicalOperator()
1463   const TryResult& KnownVal = tryEvaluateBool(C->getCond());  in VisitChooseExpr()  local
1464   addSuccessor(Block, KnownVal.isFalse() ? NULL : LHSBlock);  in VisitChooseExpr()
1465   addSuccessor(Block, KnownVal.isTrue() ? NULL : RHSBlock);  in VisitChooseExpr()
1536   const TryResult& KnownVal = tryEvaluateBool(C->getCond());  in VisitConditionalOperator()  local
1537   addSuccessor(Block, KnownVal.isFalse() ? NULL : LHSBlock);  in VisitConditionalOperator()
1538   addSuccessor(Block, KnownVal.isTrue() ? NULL : RHSBlock);  in VisitConditionalOperator()
1761   const TryResult &KnownVal = tryEvaluateBool(I->getCond());  in VisitIfStmt()  local
1764   addSuccessor(Block, KnownVal.isFalse() ? NULL : ThenBlock);  in VisitIfStmt()
1765   addSuccessor(Block, KnownVal.isTrue()? NULL : ElseBlock);  in VisitIfStmt()
1983     TryResult KnownVal(true);  in VisitForStmt()  local
2006       KnownVal = tryEvaluateBool(C);  in VisitForStmt()
2010     addSuccessor(ExitConditionBlock, KnownVal.isFalse() ? NULL : BodyBlock);  in VisitForStmt()
2013     addSuccessor(ExitConditionBlock, KnownVal.isTrue() ? NULL : LoopSuccessor);  in VisitForStmt()
2313     const TryResult& KnownVal = tryEvaluateBool(C);  in VisitWhileStmt()  local
2316     addSuccessor(ExitConditionBlock, KnownVal.isFalse() ? NULL : BodyBlock);  in VisitWhileStmt()
2319     addSuccessor(ExitConditionBlock, KnownVal.isTrue() ? NULL : LoopSuccessor);  in VisitWhileStmt()
2417   const TryResult &KnownVal = tryEvaluateBool(D->getCond());  in VisitDoStmt()  local
2453     if (!KnownVal.isFalse()) {  in VisitDoStmt()
2473   addSuccessor(ExitConditionBlock, KnownVal.isTrue() ? NULL : LoopSuccessor);  in VisitDoStmt()
2918   TryResult KnownVal(true);  in VisitCXXForRangeStmt()  local
2921     KnownVal = tryEvaluateBool(S->getCond());  in VisitCXXForRangeStmt()
2960     addSuccessor(ConditionBlock, KnownVal.isFalse() ? 0 : Block);  in VisitCXXForRangeStmt()
2965   addSuccessor(ConditionBlock, KnownVal.isTrue() ? 0 : LoopSuccessor);  in VisitCXXForRangeStmt()
3141       TryResult KnownVal = tryEvaluateBool(E->getLHS());  in VisitBinaryOperatorForTemporaryDtors()  local
3142       if (KnownVal.isKnown() && (E->getOpcode() == BO_LOr))  in VisitBinaryOperatorForTemporaryDtors()
3143         KnownVal.negate();  in VisitBinaryOperatorForTemporaryDtors()
3148         addSuccessor(LHSBlock, KnownVal.isTrue() ? NULL : ConfluenceBlock);  in VisitBinaryOperatorForTemporaryDtors()
3149         addSuccessor(LHSBlock, KnownVal.isFalse() ? NULL : RHSBlock);  in VisitBinaryOperatorForTemporaryDtors()
3152         addSuccessor(LHSBlock, KnownVal.isFalse() ? NULL : RHSBlock);  in VisitBinaryOperatorForTemporaryDtors()
3153         addSuccessor(LHSBlock, KnownVal.isTrue() ? NULL : ConfluenceBlock);  in VisitBinaryOperatorForTemporaryDtors()
3246   const TryResult &KnownVal = tryEvaluateBool(E->getCond());  in VisitConditionalOperatorForTemporaryDtors()  local
3249     addSuccessor(Block, KnownVal.isFalse() ? NULL : LHSBlock);  in VisitConditionalOperatorForTemporaryDtors()
3250   } else if (KnownVal.isFalse()) {  in VisitConditionalOperatorForTemporaryDtors()
3259   addSuccessor(Block, KnownVal.isTrue() ? NULL : RHSBlock);  in VisitConditionalOperatorForTemporaryDtors()