Lines Matching refs:AllocatedData
153 REGISTER_MAP_WITH_PROGRAMSTATE(AllocatedData, in REGISTER_MAP_WITH_PROGRAMSTATE() argument
227 State = State->remove<AllocatedData>(AP.first); in generateDeallocatorMismatchReport()
269 if (const AllocationState *AS = State->get<AllocatedData>(V)) { in checkPreStmt()
272 State = State->remove<AllocatedData>(V); in checkPreStmt()
322 const AllocationState *AS = State->get<AllocatedData>(ArgSM); in checkPreStmt()
376 State = State->remove<AllocatedData>(ArgSM); in checkPreStmt()
386 State = State->remove<AllocatedData>(ArgSM); in checkPreStmt()
437 State = State->set<AllocatedData>(V, AllocationState(ArgExpr, idx, in checkPostStmt()
455 if (!N->getState()->get<AllocatedData>(Sym)) in getAllocationNode()
505 AllocatedDataTy AMap = State->get<AllocatedData>(); in evalAssume()
532 State = State->remove<AllocatedData>(I->first); in evalAssume()
541 AllocatedDataTy AMap = State->get<AllocatedData>(); in checkDeadSymbols()
552 State = State->remove<AllocatedData>(I->first); in checkDeadSymbols()
587 for (auto I : State->get<AllocatedData>()) { in checkPointerEscape()
590 State = State->remove<AllocatedData>(Sym); in checkPointerEscape()
611 State = State->remove<AllocatedData>(Sym); in checkPointerEscape()
620 const AllocationState *AS = N->getState()->get<AllocatedData>(Sym); in VisitNode()
624 N->getFirstPred()->getState()->get<AllocatedData>(Sym); in VisitNode()
651 AllocatedDataTy AMap = State->get<AllocatedData>(); in printState()