Searched defs:Env2 (Results 1 – 3 of 3) sorted by relevance
| /freebsd-src/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/ |
| H A D | RecordOps.cpp | 76 recordsEqual(const RecordStorageLocation & Loc1,const Environment & Env1,const RecordStorageLocation & Loc2,const Environment & Env2) recordsEqual() argument
|
| H A D | DataflowEnvironment.cpp | 70 compareDistinctValues(QualType Type,Value & Val1,const Environment & Env1,Value & Val2,const Environment & Env2,Environment::ValueModel & Model) compareDistinctValues() argument
95 mergeDistinctValues(QualType Type,Value & Val1,const Environment & Env1,Value & Val2,const Environment & Env2,Environment & MergedEnv,Environment::ValueModel & Model) mergeDistinctValues() argument
196 compareKeyToValueMaps(const llvm::MapVector<Key,Value * > & Map1,const llvm::MapVector<Key,Value * > & Map2,const Environment & Env1,const Environment & Env2,Environment::ValueModel & Model) compareKeyToValueMaps() argument
223 joinLocToVal(const llvm::MapVector<const StorageLocation *,Value * > & LocToVal,const llvm::MapVector<const StorageLocation *,Value * > & LocToVal2,const Environment & Env1,const Environment & Env2,Environment & JoinedEnv,Environment::ValueModel & Model) joinLocToVal() argument
[all...] |
| /freebsd-src/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.h | 78 compare(QualType Type,const Value & Val1,const Environment & Env1,const Value & Val2,const Environment & Env2) compare() argument
103 merge(QualType Type,const Value & Val1,const Environment & Env1,const Value & Val2,const Environment & Env2,Value & MergedVal,Environment & MergedEnv) merge() argument
|