Home
last modified time | relevance | path

Searched refs:getConditionType (Results 1 – 8 of 8) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
DBoolAssignmentChecker.cpp87 svalBuilder.getConditionType()); in checkBind()
123 svalBuilder.getConditionType()); in checkBind()
DArrayBoundCheckerV2.cpp116 svalBuilder.getConditionType()); in checkLocation()
148 svalBuilder.getConditionType()); in checkLocation()
DCStringChecker.cpp473 QualType cmpTy = svalBuilder.getConditionType(); in CheckOverlap()
590 QualType cmpTy = svalBuilder.getConditionType(); in checkAdditionOverflow()
1292 QualType cmpTy = C.getSValBuilder().getConditionType(); in evalstrLengthCommon()
1445 QualType cmpTy = svalBuilder.getConditionType(); in evalStrcpyCommon()
1890 svalBuilder.getConditionType()); in evalStrcmpCommon()
DBasicObjCFoundationChecks.cpp960 SvalBuilder.getConditionType()); in assumeCollectionNonEmpty()
/external/clang/lib/StaticAnalyzer/Core/
DSValBuilder.cpp398 return evalBinOp(state, BO_EQ, lhs, rhs, getConditionType()) in evalEQ()
457 QualType CmpTy = getConditionType(); in evalIntegralCast()
DSimpleSValBuilder.cpp468 resultTy == getConditionType()); in evalBinOpNN()
471 getConditionType())); in evalBinOpNN()
DExprEngine.cpp134 svalBuilder.getConditionType()); in getInitialState()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSValBuilder.h131 QualType getConditionType() const { in getConditionType() function