Lines Matching refs:SymbolRef
129 SymbolRef ReallocatedSym;
132 ReallocPair(SymbolRef S, ReallocPairKind K) :
291 bool isReleased(SymbolRef Sym, CheckerContext &C) const;
293 bool checkUseAfterFree(SymbolRef Sym, CheckerContext &C, const Stmt *S) const;
295 bool checkDoubleDelete(SymbolRef Sym, CheckerContext &C) const;
309 SymbolRef &EscapingSymbol) const;
325 Optional<CheckKind> getCheckIfTracked(CheckerContext &C, SymbolRef Sym) const;
333 SymbolRef Sym, bool OwnershipTransferred) const;
338 SymbolRef Sym) const;
340 SymbolRef Sym, SymbolRef PrevSym) const;
342 void ReportDoubleDelete(CheckerContext &C, SymbolRef Sym) const;
346 LeakInfo getAllocationSite(const ExplodedNode *N, SymbolRef Sym,
349 void reportLeak(SymbolRef Sym, ExplodedNode *N, CheckerContext &C) const;
362 SymbolRef Sym;
368 SymbolRef FailedReallocSymbol;
373 MallocBugVisitor(SymbolRef S, bool isLeak = false)
439 StackHintGeneratorForReallocationFailed(SymbolRef S, StringRef M)
464 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, SymbolRef, RefState)
465 REGISTER_MAP_WITH_PROGRAMSTATE(ReallocPairs, SymbolRef, ReallocPair)
469 REGISTER_MAP_WITH_PROGRAMSTATE(FreeReturnValue, SymbolRef, SymbolRef)
478 bool VisitSymbol(SymbolRef sym) override {
762 if (SymbolRef Sym = C.getSVal(*I).getAsSymbol())
782 if (SymbolRef Sym = C.getSVal(DE->getArgument()).getAsSymbol())
909 SymbolRef Sym = retVal.getAsLocSymbol();
952 SymbolRef Sym, SymbolRef &RetStatusSymbol) {
953 const SymbolRef *Ret = State->get<FreeReturnValue>(Sym);
1133 SymbolRef SymBase = SrBase->getSymbol();
1135 SymbolRef PreviousRetStatusSymbol = nullptr;
1182 SymbolRef RetStatusSymbol = RetVal.getAsSymbol();
1233 MallocChecker::getCheckIfTracked(CheckerContext &C, SymbolRef Sym) const {
1382 SymbolRef Sym,
1491 SymbolRef Sym) const {
1518 bool Released, SymbolRef Sym,
1519 SymbolRef PrevSym) const {
1549 void MallocChecker::ReportDoubleDelete(CheckerContext &C, SymbolRef Sym) const {
1630 SymbolRef FromPtr = arg0Val.getAsSymbol();
1632 SymbolRef ToPtr = RetVal.getAsSymbol();
1692 MallocChecker::getAllocationSite(const ExplodedNode *N, SymbolRef Sym,
1731 void MallocChecker::reportLeak(SymbolRef Sym, ExplodedNode *N,
1810 SmallVector<SymbolRef, 2> Errors;
1844 for (SmallVectorImpl<SymbolRef>::iterator
1857 SymbolRef Sym = DC->getCXXThisVal().getAsSymbol();
1880 SymbolRef Sym = CC->getCXXThisVal().getAsSymbol();
1889 SymbolRef Sym = ArgSVal.getAsSymbol();
1906 SymbolRef Sym = RetVal.getAsSymbol();
1962 bool MallocChecker::isReleased(SymbolRef Sym, CheckerContext &C) const {
1968 bool MallocChecker::checkUseAfterFree(SymbolRef Sym, CheckerContext &C,
1979 bool MallocChecker::checkDoubleDelete(SymbolRef Sym, CheckerContext &C) const {
1991 SymbolRef Sym = l.getLocSymbolInBase();
2020 SymbolRef ReallocSym = I.getData().ReallocatedSym;
2041 SymbolRef &EscapingSymbol) const {
2220 SymbolRef EscapingSymbol = nullptr;
2231 SymbolRef sym = *I;
2246 static SymbolRef findFailedReallocSymbol(ProgramStateRef currState,
2253 SymbolRef sym = I.getKey();
2315 if (SymbolRef sym = findFailedReallocSymbol(state, statePrev)) {