Home
last modified time | relevance | path

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

/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DSimpleSValBuilder.cpp387 return makeTruthVal(true, resultTy); in evalBinOpNN()
391 return makeTruthVal(false, resultTy); in evalBinOpNN()
415 return makeTruthVal(LPTMD == RPTMD, resultTy); in evalBinOpNN()
417 return makeTruthVal(LPTMD != RPTMD, resultTy); in evalBinOpNN()
457 return makeTruthVal(false, resultTy); in evalBinOpNN()
459 return makeTruthVal(true, resultTy); in evalBinOpNN()
677 return SVB.makeTruthVal(false, resultTy); in evalBinOpFieldRegionFieldRegion()
679 return SVB.makeTruthVal(true, resultTy); in evalBinOpFieldRegionFieldRegion()
688 return SVB.makeTruthVal(leftFirst, resultTy); in evalBinOpFieldRegionFieldRegion()
690 return SVB.makeTruthVal(!leftFirst, resultTy); in evalBinOpFieldRegionFieldRegion()
[all …]
H A DSValBuilder.cpp114 return makeTruthVal(boolean->getValue()); in makeBoolVal()
329 return makeTruthVal(TE->getValue(), TE->getType()); in getConstantVal()
644 return makeTruthVal(V.getValue().getBoolValue(), CastTy); in evalCastSubKind()
666 return makeTruthVal(true, CastTy); in evalCastSubKind()
712 return makeTruthVal(true, CastTy); in evalCastSubKind()
842 return makeTruthVal(V.getValue().getBoolValue(), CastTy); in evalCastSubKind()
H A DExprEngineC.cpp369 V = svalBuilder.makeTruthVal(!PTMSV->isNullMemberPointer(), ExTy); in VisitCast()
1136 Result = svalBuilder.makeTruthVal(true, U->getType()); in VisitIncrementDecrementOperator()
/netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h299 return makeTruthVal(boolean->getValue(), boolean->getType()); in makeBoolVal()
348 nonloc::ConcreteInt makeTruthVal(bool b, QualType type) { in makeTruthVal() function
352 nonloc::ConcreteInt makeTruthVal(bool b) { in makeTruthVal() function
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DSmartPtrModeling.cpp587 C.getSValBuilder().makeTruthVal(false)); in handleBoolConversion()
593 C.getSValBuilder().makeTruthVal(true)); in handleBoolConversion()
612 C.getSValBuilder().makeTruthVal(false)); in handleBoolConversion()
623 C.getSValBuilder().makeTruthVal(true)); in handleBoolConversion()
H A DCastValueChecker.cpp317 C.getSValBuilder().makeTruthVal(true)), in addInstanceOfTransition()
331 C.getSValBuilder().makeTruthVal(false)), in addInstanceOfTransition()