Searched refs:PrevEnv (Results 1 – 2 of 2) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.cpp | 160 const Environment &PrevEnv, in widenDistinctValues() argument
179 bool TruePrev = PrevEnv.proves(PrevBool.formula()); in widenDistinctValues()
184 PrevEnv.proves(PrevEnv.arena().makeNot(PrevBool.formula())) && in widenDistinctValues()
194 if (auto Result = Model.widen(Type, Prev, PrevEnv, Current, CurrentEnv)) in widenDistinctValues()
265 Environment &CurEnv, const Environment &PrevEnv, in widenKeyToValueMap() argument
286 K->getType(), *PrevIt->second, PrevEnv, *Val, CurEnv, Model); in widenKeyToValueMap()
722 LatticeEffect Environment::widen(const Environment &PrevEnv, in widen() argument
724 assert(DACtx == PrevEnv.DACtx); in widen()
725 assert(ReturnVal == PrevEnv.ReturnVal); in widen()
726 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,
|