Lines Matching defs:PrevEnv

162                                        const Environment &PrevEnv,
181     bool TruePrev = PrevEnv.proves(PrevBool.formula());
186         PrevEnv.proves(PrevEnv.arena().makeNot(PrevBool.formula())) &&
196   if (auto Result = Model.widen(Type, Prev, PrevEnv, Current, CurrentEnv))
266                    Environment &CurEnv, const Environment &PrevEnv,
287         K->getType(), *PrevIt->second, PrevEnv, *Val, CurEnv, Model);
723 LatticeEffect Environment::widen(const Environment &PrevEnv,
725   assert(DACtx == PrevEnv.DACtx);
726   assert(ReturnVal == PrevEnv.ReturnVal);
727   assert(ReturnLoc == PrevEnv.ReturnLoc);
728   assert(LocForRecordReturnVal == PrevEnv.LocForRecordReturnVal);
729   assert(ThisPointeeLoc == PrevEnv.ThisPointeeLoc);
730   assert(CallStack == PrevEnv.CallStack);
731   assert(ResultObjectMap == PrevEnv.ResultObjectMap);
732   assert(InitialTargetFunc == PrevEnv.InitialTargetFunc);
733   assert(InitialTargetStmt == PrevEnv.InitialTargetStmt);
737   // By the API, `PrevEnv` is a previous version of the environment for the same
741   // these maps are subsets of the maps in `PrevEnv`. So, as long as we maintain
743   assert(DeclToLoc.size() <= PrevEnv.DeclToLoc.size());
744   assert(ExprToVal.size() <= PrevEnv.ExprToVal.size());
745   assert(ExprToLoc.size() <= PrevEnv.ExprToLoc.size());
747   ExprToVal = widenKeyToValueMap(ExprToVal, PrevEnv.ExprToVal, *this, PrevEnv,
750   LocToVal = widenKeyToValueMap(LocToVal, PrevEnv.LocToVal, *this, PrevEnv,
752   if (DeclToLoc.size() != PrevEnv.DeclToLoc.size() ||
753       ExprToLoc.size() != PrevEnv.ExprToLoc.size() ||
754       ExprToVal.size() != PrevEnv.ExprToVal.size() ||
755       LocToVal.size() != PrevEnv.LocToVal.size())