Home | History | Annotate | Download | only in Checkers

Lines Matching refs:SymbolRef

832 REGISTER_MAP_WITH_PROGRAMSTATE(ContainerCountMap, SymbolRef, SymbolRef)
833 REGISTER_MAP_WITH_PROGRAMSTATE(ContainerNonEmptyMap, SymbolRef, bool)
943                          SymbolRef CollectionS, bool Assumption) {
947   const SymbolRef *CountS = State->get<ContainerCountMap>(CollectionS);
979   SymbolRef CollectionS =
1056   SymbolRef ContainerS = M.getReceiverSVal().getAsSymbol();
1066   SymbolRef CountS = C.getSVal(MsgExpr).getAsSymbol();
1082 static SymbolRef getMethodReceiverIfKnownImmutable(const CallEvent *Call) {
1125   SymbolRef ImmutableReceiver = getMethodReceiverIfKnownImmutable(Call);
1131     SymbolRef Sym = *I;
1156     SymbolRef Sym = I->first;