Searched refs:CurrentEnv (Results 1 – 4 of 4) sorted by relevance
| /llvm-project/clang/lib/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.cpp | 164 Value &Current, Environment &CurrentEnv, in widenDistinctValues()
183 bool TrueCur = CurrentEnv.proves(CurBool.formula()); in widenDistinctValues()
185 return {&CurrentEnv.getBoolLiteralValue(true), LatticeEffect::Unchanged}; in widenDistinctValues()
188 CurrentEnv.proves(CurrentEnv.arena().makeNot(CurBool.formula()))) in widenDistinctValues()
189 return {&CurrentEnv.getBoolLiteralValue(false), LatticeEffect::Unchanged}; in widenDistinctValues()
191 return {&CurrentEnv.makeTopBoolValue(), LatticeEffect::Changed}; in widenDistinctValues()
197 if (auto Result = Model.widen(Type, Prev, PrevEnv, Current, CurrentEnv)) in widenDistinctValues()
162 widenDistinctValues(QualType Type,Value & Prev,const Environment & PrevEnv,Value & Current,Environment & CurrentEnv,Environment::ValueModel & Model) widenDistinctValues() argument
|
| /llvm-project/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.h | 144 Environment &CurrentEnv) { in widen() argument
147 switch (compare(Type, Prev, PrevEnv, Current, CurrentEnv)) { in widen()
|
| /llvm-project/clang/lib/Sema/ |
| H A D | SemaHLSL.cpp | 1811 llvm::Triple::EnvironmentType CurrentEnv = GetCurrentShaderEnvironment();
1812 if (CurrentEnv == llvm::Triple::UnknownEnvironment)
1818 return CurrentEnv == AttrEnv;
758 llvm::Triple::EnvironmentType CurrentEnv = GetCurrentShaderEnvironment(); HasMatchingEnvironmentOrNone() local
|
| /llvm-project/clang/unittests/Analysis/FlowSensitive/ |
| H A D | TypeErasedDataflowAnalysisTest.cpp | 880 Environment &CurrentEnv) override {
881 switch (compare(Type, Prev, PrevEnv, Current, CurrentEnv)) {
887 CurrentEnv.create<PointerValue>(CurPtr.getPointeeLoc()); in TEST_F()
888 WidenedPtr.setProperty("is_null", CurrentEnv.makeTopBoolValue()); in TEST_F()
843 widen(QualType Type,Value & Prev,const Environment & PrevEnv,Value & Current,Environment & CurrentEnv) widen() argument
|