Lines Matching refs:ReallocPair
262 struct ReallocPair { struct
268 ReallocPair(SymbolRef S, OwnershipAfterReallocKind K) in ReallocPair() argument
274 bool operator==(const ReallocPair &X) const { in operator ==() argument
282 REGISTER_MAP_WITH_PROGRAMSTATE(ReallocPairs, SymbolRef, ReallocPair)
2666 ReallocPair(FromPtr, Kind)); in ReallocMemAux()
2826 for (auto [Sym, ReallocPair] : RP) { in checkDeadSymbols()
2827 if (SymReaper.isDead(Sym) || SymReaper.isDead(ReallocPair.ReallocatedSym)) { in checkDeadSymbols()
3086 for (auto [Sym, ReallocPair] : RP) { in evalAssume()
3093 SymbolRef ReallocSym = ReallocPair.ReallocatedSym; in evalAssume()
3096 switch (ReallocPair.Kind) { in evalAssume()
3105 assert(ReallocPair.Kind == OAR_FreeOnFailure); in evalAssume()