Home
last modified time | relevance | path

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

/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DObjCSuperDeallocChecker.cpp65 SymbolRef ReceiverSymbol; member in __anonb05c728f0211::SuperDeallocBRVisitor
69 SuperDeallocBRVisitor(SymbolRef ReceiverSymbol) in SuperDeallocBRVisitor() argument
70 : ReceiverSymbol(ReceiverSymbol), Satisfied(false) {} in SuperDeallocBRVisitor()
77 ID.Add(ReceiverSymbol); in Profile()
86 SymbolRef ReceiverSymbol = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage() local
87 if (!ReceiverSymbol) { in checkPreObjCMessage()
92 bool AlreadyCalled = State->contains<CalledSuperDealloc>(ReceiverSymbol); in checkPreObjCMessage()
104 reportUseAfterDealloc(ReceiverSymbol, Desc, M.getOriginExpr(), C); in checkPreObjCMessage()
256 Succ->getState()->contains<CalledSuperDealloc>(ReceiverSymbol); in VisitNode()
259 ReceiverSymbol); in VisitNode()
H A DDynamicTypePropagation.cpp182 if (SymbolRef ReceiverSymbol = ReceiverSVal.getAsSymbol()) { in inferReceiverType() local
184 InferredType = ReceiverSymbol->getType(); in inferReceiverType()
192 getClassObjectDynamicTypeInfo(State, ReceiverSymbol)) { in inferReceiverType()