Searched refs:AllocatedData (Results 1 – 1 of 1) sorted by relevance
152 REGISTER_MAP_WITH_PROGRAMSTATE(AllocatedData, in REGISTER_MAP_WITH_PROGRAMSTATE() argument225 State = State->remove<AllocatedData>(AP.first); in generateDeallocatorMismatchReport()266 if (const AllocationState *AS = State->get<AllocatedData>(V)) { in checkPreStmt()269 State = State->remove<AllocatedData>(V); in checkPreStmt()318 const AllocationState *AS = State->get<AllocatedData>(ArgSM); in checkPreStmt()371 State = State->remove<AllocatedData>(ArgSM); in checkPreStmt()381 State = State->remove<AllocatedData>(ArgSM); in checkPreStmt()432 State = State->set<AllocatedData>(V, AllocationState(ArgExpr, idx, in checkPostStmt()450 if (!N->getState()->get<AllocatedData>(Sym)) in getAllocationNode()499 AllocatedDataTy AMap = State->get<AllocatedData>(); in evalAssume()[all …]