Searched refs:makeTruthVal (Results 1 – 7 of 7) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleSValBuilder.cpp | 447 return makeTruthVal(true, resultTy); in evalBinOpNN()
451 return makeTruthVal(false, resultTy); in evalBinOpNN()
475 return makeTruthVal(LPTMD == RPTMD, resultTy); in evalBinOpNN()
477 return makeTruthVal(LPTMD != RPTMD, resultTy); in evalBinOpNN()
517 return makeTruthVal(false, resultTy); in evalBinOpNN()
519 return makeTruthVal(true, resultTy); in evalBinOpNN()
750 return SVB.makeTruthVal(false, resultTy); in evalBinOpFieldRegionFieldRegion()
752 return SVB.makeTruthVal(true, resultTy); in evalBinOpFieldRegionFieldRegion()
761 return SVB.makeTruthVal(leftFirst, resultTy); in evalBinOpFieldRegionFieldRegion()
763 return SVB.makeTruthVal(!leftFirst, resultTy); in evalBinOpFieldRegionFieldRegion()
[all …]
|
| H A D | SValBuilder.cpp | 133 return makeTruthVal(boolean->getValue()); in makeBoolVal()
372 return makeTruthVal(TE->getBoolValue(), TE->getType()); in getConstantVal()
673 return VB.makeTruthVal(V.getValue()->getBoolValue(), CastTy); in VisitConcreteInt()
696 return VB.makeTruthVal(true, CastTy); in VisitGotoLabel()
744 return VB.makeTruthVal(true, CastTy); in VisitMemRegionVal()
877 return VB.makeTruthVal(V.getValue()->getBoolValue(), CastTy); in VisitConcreteInt()
|
| H A D | ExprEngineC.cpp | 384 V = svalBuilder.makeTruthVal(!PTMSV->isNullMemberPointer(), ExTy); in VisitCast()
1156 Result = svalBuilder.makeTruthVal(true, U->getType()); in VisitIncrementDecrementOperator()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SValBuilder.h | 284 return makeTruthVal(boolean->getValue(), boolean->getType()); in makeBoolVal()
336 nonloc::ConcreteInt makeTruthVal(bool b, QualType type) { in makeTruthVal() function
340 nonloc::ConcreteInt makeTruthVal(bool b) { in makeTruthVal() function
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | SmartPtrModeling.cpp | 507 TrueState->BindExpr(ResultExpr, LCtx, Bldr.makeTruthVal(true))); in handleComparisionOp()
510 FalseState->BindExpr(ResultExpr, LCtx, Bldr.makeTruthVal(false))); in handleComparisionOp()
861 C.getSValBuilder().makeTruthVal(false)); in handleBoolConversion()
867 C.getSValBuilder().makeTruthVal(true)); in handleBoolConversion()
886 C.getSValBuilder().makeTruthVal(false)); in handleBoolConversion()
897 C.getSValBuilder().makeTruthVal(true)); in handleBoolConversion()
|
| H A D | CastValueChecker.cpp | 318 C.getSValBuilder().makeTruthVal(true)), in addInstanceOfTransition()
332 C.getSValBuilder().makeTruthVal(false)), in addInstanceOfTransition()
|
| H A D | BuiltinFunctionChecker.cpp | 185 SVB.makeTruthVal(IsOverflow, BoolTy)); in initStateAftetBuiltinOverflow()
|