Searched refs:AllocatedData (Results 1 – 3 of 3) sorted by relevance
155 REGISTER_MAP_WITH_PROGRAMSTATE(AllocatedData, in REGISTER_MAP_WITH_PROGRAMSTATE() argument229 State = State->remove<AllocatedData>(AP.first); in generateDeallocatorMismatchReport()271 if (const AllocationState *AS = State->get<AllocatedData>(V)) { in checkPreStmt()274 State = State->remove<AllocatedData>(V); in checkPreStmt()325 const AllocationState *AS = State->get<AllocatedData>(ArgSM); in checkPreStmt()379 State = State->remove<AllocatedData>(ArgSM); in checkPreStmt()389 State = State->remove<AllocatedData>(ArgSM); in checkPreStmt()440 State = State->set<AllocatedData>(V, AllocationState(ArgExpr, idx, in checkPostStmt()458 if (!N->getState()->get<AllocatedData>(Sym)) in getAllocationNode()508 AllocatedDataTy AMap = State->get<AllocatedData>(); in evalAssume()[all …]
157 REGISTER_MAP_WITH_PROGRAMSTATE(AllocatedData, in REGISTER_MAP_WITH_PROGRAMSTATE() argument249 State = State->remove<AllocatedData>(AP.first); in generateDeallocatorMismatchReport()291 if (const AllocationState *AS = State->get<AllocatedData>(V)) { in checkPreStmt()295 State = State->remove<AllocatedData>(V); in checkPreStmt()346 const AllocationState *AS = State->get<AllocatedData>(ArgSM); in checkPreStmt()401 State = State->remove<AllocatedData>(ArgSM); in checkPreStmt()411 State = State->remove<AllocatedData>(ArgSM); in checkPreStmt()480 State = State->set<AllocatedData>(V, AllocationState(ArgExpr, idx, in checkPostStmt()498 if (!N->getState()->get<AllocatedData>(Sym)) in getAllocationNode()551 AllocatedDataTy ASet = State->get<AllocatedData>(); in checkDeadSymbols()[all …]
847 union AllocatedData { union