Home
last modified time | relevance | path

Searched refs:makeTruthVal (Results 1 – 6 of 6) sorted by relevance

/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSimpleSValBuilder.cpp445 return makeTruthVal(true, resultTy); in evalBinOpNN()
449 return makeTruthVal(false, resultTy); in evalBinOpNN()
473 return makeTruthVal(LPTMD == RPTMD, resultTy); in evalBinOpNN()
475 return makeTruthVal(LPTMD != RPTMD, resultTy); in evalBinOpNN()
515 return makeTruthVal(false, resultTy); in evalBinOpNN()
517 return makeTruthVal(true, resultTy); in evalBinOpNN()
748 return SVB.makeTruthVal(false, resultTy); in evalBinOpFieldRegionFieldRegion()
750 return SVB.makeTruthVal(true, resultTy); in evalBinOpFieldRegionFieldRegion()
759 return SVB.makeTruthVal(leftFirst, resultTy); in evalBinOpFieldRegionFieldRegion()
761 return SVB.makeTruthVal(!leftFirst, resultTy); in evalBinOpFieldRegionFieldRegion()
[all …]
H A DSValBuilder.cpp137 return makeTruthVal(boolean->getValue()); in makeBoolVal()
373 return makeTruthVal(TE->getValue(), TE->getType()); in getConstantVal()
672 return VB.makeTruthVal(V.getValue().getBoolValue(), CastTy); in VisitConcreteInt()
695 return VB.makeTruthVal(true, CastTy); in VisitGotoLabel()
743 return VB.makeTruthVal(true, CastTy); in VisitMemRegionVal()
876 return VB.makeTruthVal(V.getValue().getBoolValue(), CastTy); in VisitConcreteInt()
H A DExprEngineC.cpp348 V = svalBuilder.makeTruthVal(!PTMSV->isNullMemberPointer(), ExTy); in VisitCast()
1116 Result = svalBuilder.makeTruthVal(true, U->getType()); in VisitIncrementDecrementOperator()
/src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h297 return makeTruthVal(boolean->getValue(), boolean->getType()); in makeBoolVal()
350 nonloc::ConcreteInt makeTruthVal(bool b, QualType type) { in makeTruthVal() function
354 nonloc::ConcreteInt makeTruthVal(bool b) { in makeTruthVal() function
/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DSmartPtrModeling.cpp507 TrueState->BindExpr(ResultExpr, LCtx, Bldr.makeTruthVal(true))); in handleComparisionOp()
510 FalseState->BindExpr(ResultExpr, LCtx, Bldr.makeTruthVal(false))); in handleComparisionOp()
862 C.getSValBuilder().makeTruthVal(false)); in handleBoolConversion()
868 C.getSValBuilder().makeTruthVal(true)); in handleBoolConversion()
887 C.getSValBuilder().makeTruthVal(false)); in handleBoolConversion()
898 C.getSValBuilder().makeTruthVal(true)); in handleBoolConversion()
H A DCastValueChecker.cpp318 C.getSValBuilder().makeTruthVal(true)), in addInstanceOfTransition()
332 C.getSValBuilder().makeTruthVal(false)), in addInstanceOfTransition()