Home | History | Annotate | Download | only in Checkers

Lines Matching full:counts

909   const SymbolRef *CountS = State->get<ContainerCountMap>(CollectionS);
910   if (!CountS)
916                           nonloc::SymbolVal(*CountS),
917                           SvalBuilder.makeIntVal(0, (*CountS)->getType()),
1016   SymbolRef CountS = C.getSVal(MsgExpr).getAsSymbol();
1017   if (CountS) {
1019     C.getSymbolManager().addSymbolDependency(ContainerS, CountS);
1020     State = State->set<ContainerCountMap>(ContainerS, CountS);