Searched refs:PrevEnv (Results 1 – 2 of 2) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.cpp | 162 const Environment &PrevEnv, in widenDistinctValues() argument
181 bool TruePrev = PrevEnv.proves(PrevBool.formula()); in widenDistinctValues()
186 PrevEnv.proves(PrevEnv.arena().makeNot(PrevBool.formula())) && in widenDistinctValues()
196 if (auto Result = Model.widen(Type, Prev, PrevEnv, Current, CurrentEnv)) in widenDistinctValues()
266 Environment &CurEnv, const Environment &PrevEnv, in widenKeyToValueMap() argument
287 K->getType(), *PrevIt->second, PrevEnv, *Val, CurEnv, Model); in widenKeyToValueMap()
723 LatticeEffect Environment::widen(const Environment &PrevEnv, in widen() argument
725 assert(DACtx == PrevEnv.DACtx); in widen()
726 assert(ReturnVal == PrevEnv.ReturnVal); in widen()
727 assert(ReturnLoc == PrevEnv.ReturnLoc); in widen()
[all …]
|
| /freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.h | 142 const Environment &PrevEnv, in widen() argument
147 switch (compare(Type, Prev, PrevEnv, Current, CurrentEnv)) { in widen()
280 LatticeEffect widen(const Environment &PrevEnv,
|