Searched refs:CurrentEnv (Results 1 – 2 of 2) sorted by relevance
| /freebsd-14.2/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.cpp | 157 Environment &CurrentEnv, in widenDistinctValues() argument
171 bool TrueCur = CurrentEnv.proves(CurBool.formula()); in widenDistinctValues()
173 return CurrentEnv.getBoolLiteralValue(true); in widenDistinctValues()
176 CurrentEnv.proves(CurrentEnv.arena().makeNot(CurBool.formula()))) in widenDistinctValues()
177 return CurrentEnv.getBoolLiteralValue(false); in widenDistinctValues()
179 return CurrentEnv.makeTopBoolValue(); in widenDistinctValues()
185 if (auto *W = Model.widen(Type, Prev, PrevEnv, Current, CurrentEnv)) in widenDistinctValues()
|
| /freebsd-14.2/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.h | 134 Value &Current, Environment &CurrentEnv) { in widen() argument
137 switch (compare(Type, Prev, PrevEnv, Current, CurrentEnv)) { in widen()
|