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.cpp469 QualType cmpTy = svalBuilder.getConditionType(); in CheckOverlap()
586 QualType cmpTy = svalBuilder.getConditionType(); in checkAdditionOverflow()
1288 QualType cmpTy = C.getSValBuilder().getConditionType(); in evalstrLengthCommon()
1441 QualType cmpTy = svalBuilder.getConditionType(); in evalStrcpyCommon()
DBasicObjCFoundationChecks.cpp962 SvalBuilder.getConditionType()); in assumeCollectionNonEmpty()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSValBuilder.h126 QualType getConditionType() const { in getConditionType() function
/external/clang/lib/StaticAnalyzer/Core/
DSimpleSValBuilder.cpp468 resultTy == getConditionType()); in evalBinOpNN()
471 getConditionType())); in evalBinOpNN()
DSValBuilder.cpp393 return evalBinOp(state, BO_EQ, lhs, rhs, getConditionType()) in evalEQ()
DExprEngine.cpp133 svalBuilder.getConditionType()); in getInitialState()