Home
last modified time | relevance | path

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

/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DSimpleSValBuilder.cpp114 return makeTruthVal(b, castTy); in evalCastFromNonLoc()
171 return makeTruthVal(true, castTy); in evalCastFromLoc()
520 return makeTruthVal(true, resultTy); in evalBinOpNN()
524 return makeTruthVal(false, resultTy); in evalBinOpNN()
796 return SVB.makeTruthVal(true, resultTy); in evalBinOpFieldRegionFieldRegion()
837 return makeTruthVal(true, resultTy); in evalBinOpLL()
841 return makeTruthVal(false, resultTy); in evalBinOpLL()
864 return makeTruthVal(true, resultTy); in evalBinOpLL()
915 return makeTruthVal(true, resultTy); in evalBinOpLL()
981 return makeTruthVal(true, resultTy); in evalBinOpLL()
[all …]
H A DSValBuilder.cpp115 return makeTruthVal(boolean->getValue()); in makeBoolVal()
321 return makeTruthVal(TE->getValue(), TE->getType()); in getConstantVal()
536 return makeTruthVal(!val.isZeroConstant(), castTy); in evalCast()
H A DExprEngineObjC.cpp57 SVal hasElementsV = svalBuilder.makeTruthVal(hasElements); in populateObjCForDestinationSet()
H A DExprEngineC.cpp366 V = svalBuilder.makeTruthVal(!PTMSV->isNullMemberPointer(), ExTy); in VisitCast()
1083 Result = svalBuilder.makeTruthVal(true, U->getType()); in VisitIncrementDecrementOperator()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h286 return makeTruthVal(boolean->getValue(), boolean->getType()); in makeBoolVal()
335 nonloc::ConcreteInt makeTruthVal(bool b, QualType type) { in makeTruthVal() function
339 nonloc::ConcreteInt makeTruthVal(bool b) { in makeTruthVal() function