Home
last modified time | relevance | path

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

/freebsd/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
/freebsd/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()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExprEngineC.cpp348 V = svalBuilder.makeTruthVal(!PTMSV->isNullMemberPointer(), ExTy); in VisitCast()
1116 Result = svalBuilder.makeTruthVal(true, U->getType()); in VisitIncrementDecrementOperator()