Lines Matching defs:PrevEnv

163                                        const Environment &PrevEnv,
182     bool TruePrev = PrevEnv.proves(PrevBool.formula());
187         PrevEnv.proves(PrevEnv.arena().makeNot(PrevBool.formula())) &&
197   if (auto Result = Model.widen(Type, Prev, PrevEnv, Current, CurrentEnv))
268                    Environment &CurEnv, const Environment &PrevEnv,
289         K->getType(), *PrevIt->second, PrevEnv, *Val, CurEnv, Model);
725 LatticeEffect Environment::widen(const Environment &PrevEnv,
727   assert(DACtx == PrevEnv.DACtx);
728   assert(ReturnVal == PrevEnv.ReturnVal);
729   assert(ReturnLoc == PrevEnv.ReturnLoc);
730   assert(LocForRecordReturnVal == PrevEnv.LocForRecordReturnVal);
731   assert(ThisPointeeLoc == PrevEnv.ThisPointeeLoc);
732   assert(CallStack == PrevEnv.CallStack);
733   assert(ResultObjectMap == PrevEnv.ResultObjectMap);
734   assert(InitialTargetFunc == PrevEnv.InitialTargetFunc);
735   assert(InitialTargetStmt == PrevEnv.InitialTargetStmt);
739   // By the API, `PrevEnv` is a previous version of the environment for the same
743   // these maps are subsets of the maps in `PrevEnv`. So, as long as we maintain
745   assert(DeclToLoc.size() <= PrevEnv.DeclToLoc.size());
746   assert(ExprToVal.size() <= PrevEnv.ExprToVal.size());
747   assert(ExprToLoc.size() <= PrevEnv.ExprToLoc.size());
749   ExprToVal = widenKeyToValueMap(ExprToVal, PrevEnv.ExprToVal, *this, PrevEnv,
752   LocToVal = widenKeyToValueMap(LocToVal, PrevEnv.LocToVal, *this, PrevEnv,
754   if (DeclToLoc.size() != PrevEnv.DeclToLoc.size() ||
755       ExprToLoc.size() != PrevEnv.ExprToLoc.size() ||
756       ExprToVal.size() != PrevEnv.ExprToVal.size() ||
757       LocToVal.size() != PrevEnv.LocToVal.size())