Lines Matching defs:CalleeEnv

665 void Environment::popCall(const CallExpr *Call, const Environment &CalleeEnv) {
666   // We ignore some entries of `CalleeEnv`:
673   this->LocToVal = std::move(CalleeEnv.LocToVal);
674   this->FlowConditionToken = std::move(CalleeEnv.FlowConditionToken);
677     if (CalleeEnv.ReturnLoc != nullptr)
678       setStorageLocation(*Call, *CalleeEnv.ReturnLoc);
680     if (CalleeEnv.ReturnVal != nullptr)
681       setValue(*Call, *CalleeEnv.ReturnVal);
686                           const Environment &CalleeEnv) {
688   this->LocToVal = std::move(CalleeEnv.LocToVal);
689   this->FlowConditionToken = std::move(CalleeEnv.FlowConditionToken);