Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Checkers/
DObjCSuperDeallocChecker.cpp68 SymbolRef ReceiverSymbol; member in __anon796350650211::SuperDeallocBRVisitor
72 SuperDeallocBRVisitor(SymbolRef ReceiverSymbol) in SuperDeallocBRVisitor() argument
73 : ReceiverSymbol(ReceiverSymbol), in SuperDeallocBRVisitor()
82 ID.Add(ReceiverSymbol); in Profile()
91 SymbolRef ReceiverSymbol = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage() local
92 if (!ReceiverSymbol) { in checkPreObjCMessage()
97 bool AlreadyCalled = State->contains<CalledSuperDealloc>(ReceiverSymbol); in checkPreObjCMessage()
109 reportUseAfterDealloc(ReceiverSymbol, Desc, M.getOriginExpr(), C); in checkPreObjCMessage()
126 SymbolRef ReceiverSymbol = M.getSelfSVal().getAsSymbol(); in checkPostObjCMessage() local
127 assert(ReceiverSymbol && "No receiver symbol at call to [super dealloc]?"); in checkPostObjCMessage()
[all …]