Searched refs:Env2 (Results 1 – 4 of 4) sorted by relevance
| /freebsd-14.2/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/ |
| H A D | RecordOps.cpp | 76 const Environment &Env2) { in recordsEqual() argument
95 cast<RecordStorageLocation>(*FieldLoc2), Env2)) in recordsEqual()
100 } else if (Env1.getValue(*FieldLoc1) != Env2.getValue(*FieldLoc2)) { in recordsEqual()
109 cast<RecordStorageLocation>(Loc2.getSyntheticField(Name)), Env2)) in recordsEqual()
112 Env2.getValue(Loc2.getSyntheticField(Name))) { in recordsEqual()
|
| H A D | DataflowEnvironment.cpp | 70 const Environment &Env2, in compareDistinctValues() argument
78 switch (Model.compare(Type, Val1, Env1, Val2, Env2)) { in compareDistinctValues()
95 const Environment &Env2, in mergeDistinctValues() argument
121 A.makeAnd(A.makeAtomRef(Env2.getFlowConditionToken()), in mergeDistinctValues()
148 if (Model.merge(Type, Val1, Env1, Val2, Env2, *MergedVal, MergedEnv)) in mergeDistinctValues()
196 const Environment &Env1, const Environment &Env2, in compareKeyToValueMaps() argument
211 !compareDistinctValues(K->getType(), *Val, Env1, *It->second, Env2, in compareKeyToValueMaps()
223 const Environment &Env1, const Environment &Env2, in joinLocToVal() argument
244 Loc->getType(), *Val, Env1, *It->second, Env2, JoinedEnv, Model)) { in joinLocToVal()
|
| /freebsd-14.2/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | RecordOps.h | 57 const RecordStorageLocation &Loc2, const Environment &Env2);
|
| H A D | DataflowEnvironment.h | 78 const Environment &Env2) { in compare() argument
103 const Environment &Env2, Value &MergedVal, in merge() argument
|