Lines Matching defs:ReceiverSymbol

66   SymbolRef ReceiverSymbol;
70   SuperDeallocBRVisitor(SymbolRef ReceiverSymbol)
71       : ReceiverSymbol(ReceiverSymbol), Satisfied(false) {}
78     ID.Add(ReceiverSymbol);
87   SymbolRef ReceiverSymbol = M.getReceiverSVal().getAsSymbol();
88   if (!ReceiverSymbol) {
93   bool AlreadyCalled = State->contains<CalledSuperDealloc>(ReceiverSymbol);
105   reportUseAfterDealloc(ReceiverSymbol, Desc, M.getOriginExpr(), C);
249       Succ->getState()->contains<CalledSuperDealloc>(ReceiverSymbol);
252           ReceiverSymbol);
255   // called on ReceiverSymbol?