Home
last modified time | relevance | path

Searched refs:ReceiverSymbol (Results 1 – 1 of 1) sorted by relevance

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DObjCSuperDeallocChecker.cpp66 SymbolRef ReceiverSymbol; member in __anon28f2ce440211::SuperDeallocBRVisitor
70 SuperDeallocBRVisitor(SymbolRef ReceiverSymbol) in SuperDeallocBRVisitor() argument
71 : ReceiverSymbol(ReceiverSymbol), Satisfied(false) {} in SuperDeallocBRVisitor()
78 ID.Add(ReceiverSymbol); in Profile()
87 SymbolRef ReceiverSymbol = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage() local
88 if (!ReceiverSymbol) { in checkPreObjCMessage()
93 bool AlreadyCalled = State->contains<CalledSuperDealloc>(ReceiverSymbol); in checkPreObjCMessage()
105 reportUseAfterDealloc(ReceiverSymbol, Desc, M.getOriginExpr(), C); in checkPreObjCMessage()
249 Succ->getState()->contains<CalledSuperDealloc>(ReceiverSymbol); in VisitNode()
252 ReceiverSymbol); in VisitNode()