Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DSimpleSValBuilder.cpp107 return makeTruthVal(b, castTy); in evalCastFromNonLoc()
162 return makeTruthVal(true, castTy); in evalCastFromLoc()
319 return makeTruthVal(true, resultTy); in evalBinOpNN()
323 return makeTruthVal(false, resultTy); in evalBinOpNN()
354 return makeTruthVal(false, resultTy); in evalBinOpNN()
356 return makeTruthVal(true, resultTy); in evalBinOpNN()
563 return SVB.makeTruthVal(false, resultTy); in evalBinOpFieldRegionFieldRegion()
565 return SVB.makeTruthVal(true, resultTy); in evalBinOpFieldRegionFieldRegion()
574 return SVB.makeTruthVal(leftFirst, resultTy); in evalBinOpFieldRegionFieldRegion()
576 return SVB.makeTruthVal(!leftFirst, resultTy); in evalBinOpFieldRegionFieldRegion()
[all …]
DExprEngineObjC.cpp100 SVal TrueV = svalBuilder.makeTruthVal(1); in VisitObjCForCollectionStmt()
104 SVal FalseV = svalBuilder.makeTruthVal(0); in VisitObjCForCollectionStmt()
DSValBuilder.cpp91 return makeTruthVal(boolean->getValue()); in makeBoolVal()
409 return makeTruthVal(!val.isZeroConstant(), castTy); in evalCast()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSValBuilder.h239 return makeTruthVal(boolean->getValue(), boolean->getType()); in makeBoolVal()
288 nonloc::ConcreteInt makeTruthVal(bool b, QualType type) { in makeTruthVal() function
292 nonloc::ConcreteInt makeTruthVal(bool b) { in makeTruthVal() function