/// Marshal a new state for the callee in another translation unit.
/// 'state' is owned by the caller's engine.
- const GRState *MarshalState(const GRState *state, const LocationContext *L);
+ const GRState *MarshalState(const GRState *state, const StackFrameContext *L);
public:
}
const GRState *GRStateManager::MarshalState(const GRState *state,
- const LocationContext *InitLoc) {
+ const StackFrameContext *InitLoc) {
// make up an empty state for now.
GRState State(this,
EnvMgr.getInitialEnvironment(),