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

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

Completed in 441 milliseconds