reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2621 RegionStateTy OldRS = state->get<RegionState>(); 2622 RegionStateTy::Factory &F = state->get_context<RegionState>(); 2637 assert(state->get<ReallocPairs>() == 2639 assert(state->get<FreeReturnValue>() == 2645 ReallocPairsTy RP = state->get<ReallocPairs>(); 2649 state = state->remove<ReallocPairs>(I->first); 2649 state = state->remove<ReallocPairs>(I->first); 2654 FreeReturnValueTy FR = state->get<FreeReturnValue>(); 2658 state = state->remove<FreeReturnValue>(I->first); 2658 state = state->remove<FreeReturnValue>(I->first); 2675 C.addTransition(state->set<RegionState>(RS), N);