Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DSimpleSValBuilder.cpp430 return makeTruthVal(true, resultTy); in evalBinOpNN()
434 return makeTruthVal(false, resultTy); in evalBinOpNN()
720 return SVB.makeTruthVal(false, resultTy); in evalBinOpFieldRegionFieldRegion()
722 return SVB.makeTruthVal(true, resultTy); in evalBinOpFieldRegionFieldRegion()
793 return makeTruthVal(true, resultTy); in evalBinOpLL()
797 return makeTruthVal(false, resultTy); in evalBinOpLL()
816 return makeTruthVal(false, resultTy); in evalBinOpLL()
820 return makeTruthVal(true, resultTy); in evalBinOpLL()
871 return makeTruthVal(true, resultTy); in evalBinOpLL()
937 return makeTruthVal(true, resultTy); in evalBinOpLL()
[all …]
H A DSValBuilder.cpp137 return makeTruthVal(boolean->getValue()); in makeBoolVal()
365 return makeTruthVal(TE->getValue(), TE->getType()); in getConstantVal()
665 return VB.makeTruthVal(V.getValue().getBoolValue(), CastTy); in VisitLocConcreteInt()
688 return VB.makeTruthVal(true, CastTy); in VisitLocGotoLabel()
736 return VB.makeTruthVal(true, CastTy); in VisitLocMemRegionVal()
869 return VB.makeTruthVal(V.getValue().getBoolValue(), CastTy); in VisitNonLocConcreteInt()
H A DExprEngineC.cpp355 V = svalBuilder.makeTruthVal(!PTMSV->isNullMemberPointer(), ExTy); in VisitCast()
1128 Result = svalBuilder.makeTruthVal(true, U->getType()); in VisitIncrementDecrementOperator()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h276 return makeTruthVal(boolean->getValue(), boolean->getType()); in makeBoolVal()
329 nonloc::ConcreteInt makeTruthVal(bool b, QualType type) { in makeTruthVal() function
333 nonloc::ConcreteInt makeTruthVal(bool b) { in makeTruthVal() function
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DSmartPtrModeling.cpp505 TrueState->BindExpr(ResultExpr, LCtx, Bldr.makeTruthVal(true))); in handleComparisionOp()
508 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 DCastValueChecker.cpp318 C.getSValBuilder().makeTruthVal(true)), in addInstanceOfTransition()
332 C.getSValBuilder().makeTruthVal(false)), in addInstanceOfTransition()