Searched refs:SvalBuilder (Results 1 – 1 of 1) sorted by relevance
957 SValBuilder &SvalBuilder = C.getSValBuilder(); in assumeCollectionNonEmpty() local959 SvalBuilder.evalBinOp(State, BO_GT, in assumeCollectionNonEmpty()961 SvalBuilder.makeIntVal(0, (*CountS)->getType()), in assumeCollectionNonEmpty()962 SvalBuilder.getConditionType()); in assumeCollectionNonEmpty()