Home
last modified time | relevance | path

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

/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSimpleSValBuilder.cpp445 return makeTruthVal(true, resultTy); in evalBinOpNN()
449 return makeTruthVal(false, resultTy); in evalBinOpNN()
748 return SVB.makeTruthVal(false, resultTy); in evalBinOpFieldRegionFieldRegion()
750 return SVB.makeTruthVal(true, resultTy); in evalBinOpFieldRegionFieldRegion()
820 return makeTruthVal(true, resultTy); in evalBinOpLL()
824 return makeTruthVal(false, resultTy); in evalBinOpLL()
843 return makeTruthVal(false, resultTy); in evalBinOpLL()
847 return makeTruthVal(true, resultTy); in evalBinOpLL()
898 return makeTruthVal(true, resultTy); in evalBinOpLL()
964 return makeTruthVal(true, resultTy); in evalBinOpLL()
[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.cpp347 V = svalBuilder.makeTruthVal(!PTMSV->isNullMemberPointer(), ExTy); in VisitCast()
1114 Result = svalBuilder.makeTruthVal(true, U->getType()); in VisitIncrementDecrementOperator()
/freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h293 return makeTruthVal(boolean->getValue(), boolean->getType()); in makeBoolVal()
346 nonloc::ConcreteInt makeTruthVal(bool b, QualType type) { in makeTruthVal() function
350 nonloc::ConcreteInt makeTruthVal(bool b) { in makeTruthVal() function
/freebsd-14.2/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()