Searched refs:makeTruthVal (Results 1 – 6 of 6) sorted by relevance
| /openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleSValBuilder.cpp | 431 return makeTruthVal(true, resultTy); in evalBinOpNN()
435 return makeTruthVal(false, resultTy); in evalBinOpNN()
721 return SVB.makeTruthVal(false, resultTy); in evalBinOpFieldRegionFieldRegion()
723 return SVB.makeTruthVal(true, resultTy); in evalBinOpFieldRegionFieldRegion()
794 return makeTruthVal(true, resultTy); in evalBinOpLL()
798 return makeTruthVal(false, resultTy); in evalBinOpLL()
817 return makeTruthVal(false, resultTy); in evalBinOpLL()
821 return makeTruthVal(true, resultTy); in evalBinOpLL()
872 return makeTruthVal(true, resultTy); in evalBinOpLL()
938 return makeTruthVal(true, resultTy); in evalBinOpLL()
[all …]
|
| H A D | SValBuilder.cpp | 137 return makeTruthVal(boolean->getValue()); in makeBoolVal()
365 return makeTruthVal(TE->getValue(), TE->getType()); in getConstantVal()
667 return VB.makeTruthVal(V.getValue().getBoolValue(), CastTy); in VisitLocConcreteInt()
690 return VB.makeTruthVal(true, CastTy); in VisitLocGotoLabel()
738 return VB.makeTruthVal(true, CastTy); in VisitLocMemRegionVal()
871 return VB.makeTruthVal(V.getValue().getBoolValue(), CastTy); in VisitNonLocConcreteInt()
|
| H A D | ExprEngineC.cpp | 356 V = svalBuilder.makeTruthVal(!PTMSV->isNullMemberPointer(), ExTy); in VisitCast()
1128 Result = svalBuilder.makeTruthVal(true, U->getType()); in VisitIncrementDecrementOperator()
|
| /openbsd/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SValBuilder.h | 276 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
|
| /openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | SmartPtrModeling.cpp | 507 TrueState->BindExpr(ResultExpr, LCtx, Bldr.makeTruthVal(true))); in handleComparisionOp()
510 FalseState->BindExpr(ResultExpr, LCtx, Bldr.makeTruthVal(false))); in handleComparisionOp()
863 C.getSValBuilder().makeTruthVal(false)); in handleBoolConversion()
869 C.getSValBuilder().makeTruthVal(true)); in handleBoolConversion()
888 C.getSValBuilder().makeTruthVal(false)); in handleBoolConversion()
899 C.getSValBuilder().makeTruthVal(true)); in handleBoolConversion()
|
| H A D | CastValueChecker.cpp | 318 C.getSValBuilder().makeTruthVal(true)), in addInstanceOfTransition()
332 C.getSValBuilder().makeTruthVal(false)), in addInstanceOfTransition()
|