Lines Matching refs:SymbolRef
46 REGISTER_MAP_WITH_PROGRAMSTATE(MostSpecializedTypeArgsMap, SymbolRef,
78 GenericsBugVisitor(SymbolRef S) : Sym(S) {}
93 SymbolRef Sym;
98 SymbolRef Sym, CheckerContext &C,
450 storeWhenMoreInformative(ProgramStateRef &State, SymbolRef Sym,
555 SymbolRef Sym = State->getSVal(CE, C.getLocationContext()).getAsSymbol();
709 SymbolRef Sym = M.getReceiverSVal().getAsSymbol();
757 SymbolRef ArgSym = ArgSVal.getAsSymbol();
789 SymbolRef RetSym = M.getReturnValue().getAsSymbol();
818 SymbolRef RecSym = M.getReceiverSVal().getAsSymbol();
873 ExplodedNode *N, SymbolRef Sym, CheckerContext &C,
