Lines Matching refs:SymbolRef
101 SymbolRef ReallocatedSym;
104 ReallocPair(SymbolRef S, ReallocPairKind K) :
217 bool isReleased(SymbolRef Sym, CheckerContext &C) const;
219 bool checkUseAfterFree(SymbolRef Sym, CheckerContext &C,
237 SymbolRef Sym) const;
239 SymbolRef Sym, SymbolRef PrevSym) const;
243 LeakInfo getAllocationSite(const ExplodedNode *N, SymbolRef Sym,
246 void reportLeak(SymbolRef Sym, ExplodedNode *N, CheckerContext &C) const;
259 SymbolRef Sym;
265 SymbolRef FailedReallocSymbol;
270 MallocBugVisitor(SymbolRef S, bool isLeak = false)
336 StackHintGeneratorForReallocationFailed(SymbolRef S, StringRef M)
360 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, SymbolRef, RefState)
361 REGISTER_MAP_WITH_PROGRAMSTATE(ReallocPairs, SymbolRef, ReallocPair)
365 REGISTER_MAP_WITH_PROGRAMSTATE(FreeReturnValue, SymbolRef, SymbolRef)
374 bool VisitSymbol(SymbolRef sym) {
619 SymbolRef Sym = retVal.getAsLocSymbol();
664 SymbolRef Sym, SymbolRef &RetStatusSymbol) {
665 const SymbolRef *Ret = State->get<FreeReturnValue>(Sym);
744 SymbolRef SymBase = SrBase->getSymbol();
746 SymbolRef PreviousRetStatusSymbol = 0;
777 SymbolRef RetStatusSymbol = RetVal.getAsSymbol();
954 SymbolRef Sym) const {
971 bool Released, SymbolRef Sym,
972 SymbolRef PrevSym) const {
1048 SymbolRef FromPtr = arg0Val.getAsSymbol();
1050 SymbolRef ToPtr = RetVal.getAsSymbol();
1110 MallocChecker::getAllocationSite(const ExplodedNode *N, SymbolRef Sym,
1143 void MallocChecker::reportLeak(SymbolRef Sym, ExplodedNode *N,
1202 SmallVector<SymbolRef, 2> Errors;
1236 for (SmallVector<SymbolRef, 2>::iterator
1256 SymbolRef Sym = C.getSVal(A).getAsSymbol();
1273 SymbolRef Sym = RetVal.getAsSymbol();
1329 bool MallocChecker::isReleased(SymbolRef Sym, CheckerContext &C) const {
1335 bool MallocChecker::checkUseAfterFree(SymbolRef Sym, CheckerContext &C,
1349 SymbolRef Sym = l.getLocSymbolInBase();
1378 SymbolRef ReallocSym = I.getData().ReallocatedSym;
1550 SymbolRef sym = *I;
1560 static SymbolRef findFailedReallocSymbol(ProgramStateRef currState,
1567 SymbolRef sym = I.getKey();
1629 if (SymbolRef sym = findFailedReallocSymbol(state, statePrev)) {