Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Checkers/
DBasicObjCFoundationChecks.cpp957 SValBuilder &SvalBuilder = C.getSValBuilder(); in assumeCollectionNonEmpty() local
959 SvalBuilder.evalBinOp(State, BO_GT, in assumeCollectionNonEmpty()
961 SvalBuilder.makeIntVal(0, (*CountS)->getType()), in assumeCollectionNonEmpty()
962 SvalBuilder.getConditionType()); in assumeCollectionNonEmpty()