Lines Matching defs:Count
641 unsigned Count = C.getCurrentBlockCount();
645 MR, Ex, sizeTy, Count);
788 unsigned Count = C.getCurrentBlockCount();
789 return state->invalidateRegions(R, E, Count);
916 unsigned Count = C.getCurrentBlockCount();
918 C.getSValBuilder().getConjuredSymbolVal(NULL, CE, Count);
1031 unsigned Count = C.getCurrentBlockCount();
1032 SVal CmpV = svalBuilder.getConjuredSymbolVal(NULL, CE, Count);
1137 unsigned Count = C.getCurrentBlockCount();
1138 result = C.getSValBuilder().getConjuredSymbolVal(NULL, CE, Count);
1165 unsigned Count = C.getCurrentBlockCount();
1166 result = C.getSValBuilder().getConjuredSymbolVal(NULL, CE, Count);
1509 unsigned Count = C.getCurrentBlockCount();
1510 Result = svalBuilder.getConjuredSymbolVal(NULL, CE, Count);
1653 unsigned Count = C.getCurrentBlockCount();
1654 SVal resultVal = svalBuilder.getConjuredSymbolVal(NULL, CE, Count);
1790 if (SuperRegions.count(MR)) {
1799 if (Invalidated.count(Super)) {
