Searched refs:Env2 (Results 1 – 4 of 4) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/ |
| H A D | RecordOps.cpp | 89 const RecordStorageLocation &Loc2, const Environment &Env2) { in recordsEqual() argument
108 cast<RecordStorageLocation>(*FieldLoc2), Env2)) in recordsEqual()
113 } else if (Env1.getValue(*FieldLoc1) != Env2.getValue(*FieldLoc2)) { in recordsEqual()
122 cast<RecordStorageLocation>(Loc2.getSyntheticField(Name)), Env2)) in recordsEqual()
125 Env2.getValue(Loc2.getSyntheticField(Name))) { in recordsEqual()
|
| H A D | DataflowEnvironment.cpp | 96 const Environment &Env2, in compareDistinctValues() argument
104 switch (Model.compare(Type, Val1, Env1, Val2, Env2)) { in compareDistinctValues()
121 const Environment &Env2, in joinDistinctValues() argument
147 A.makeAnd(A.makeAtomRef(Env2.getFlowConditionToken()), in joinDistinctValues()
154 Model.join(Type, Val1, Env1, Val2, Env2, *JoinedVal, JoinedEnv); in joinDistinctValues()
208 const Environment &Env2, in compareKeyToValueMaps() argument
223 !compareDistinctValues(K->getType(), *Val, Env1, *It->second, Env2, in compareKeyToValueMaps()
235 const Environment &Env1, const Environment &Env2, in joinLocToVal() argument
251 Loc->getType(), Val, Env1, It->second, Env2, JoinedEnv, Model)) { in joinLocToVal()
814 const Environment &Env2, Environment &JoinedEnv, in joinValues() argument
[all …]
|
| /freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | RecordOps.h | 61 const RecordStorageLocation &Loc2, const Environment &Env2);
|
| H A D | DataflowEnvironment.h | 89 const Environment &Env2) { in compare() argument
110 const Value &Val2, const Environment &Env2, in join() argument
269 Value *Val2, const Environment &Env2,
|