reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
271 if (const AllocationState *AS = State->get<AllocatedData>(V)) { 274 State = State->remove<AllocatedData>(V); 274 State = State->remove<AllocatedData>(V); 275 ExplodedNode *N = C.generateNonFatalErrorNode(State); 325 const AllocationState *AS = State->get<AllocatedData>(ArgSM); 337 ExplodedNode *N = C.generateNonFatalErrorNode(State); 379 State = State->remove<AllocatedData>(ArgSM); 379 State = State->remove<AllocatedData>(ArgSM); 380 C.addTransition(State); 389 State = State->remove<AllocatedData>(ArgSM); 389 State = State->remove<AllocatedData>(ArgSM); 399 C.addTransition(State);