| /llvm-project/clang/unittests/Analysis/FlowSensitive/ |
| H A D | TypeErasedDataflowAnalysisTest.cpp | 751 const Environment &Env1 = getEnvironmentAtAnnotation(Results, "p1"); TEST_F() local
809 compare(QualType Type,const Value & Val1,const Environment & Env1,const Value & Val2,const Environment & Env2) compare() argument
822 join(QualType Type,const Value & Val1,const Environment & Env1,const Value & Val2,const Environment & Env2,Value & JoinedVal,Environment & JoinedEnv) join() argument
900 const Environment &Env1 = getEnvironmentAtAnnotation(Results, "p1"); TEST_F() local
942 const Environment &Env1 = getEnvironmentAtAnnotation(Results, "p1"); TEST_F() local
1080 const Environment &Env1 = getEnvironmentAtAnnotation(Results, "p1"); TEST_F() local
1111 const Environment &Env1 = getEnvironmentAtAnnotation(Results, "p1"); TEST_F() local
1191 const Environment &Env1 = getEnvironmentAtAnnotation(Results, "p1"); TEST_F() local
1228 const Environment &Env1 = getEnvironmentAtAnnotation(Results, "p1"); TEST_F() local
1265 const Environment &Env1 = getEnvironmentAtAnnotation(Results, "p1"); TEST_F() local
1302 const Environment &Env1 = getEnvironmentAtAnnotation(Results, "p1"); TEST_F() local
1476 const Environment &Env1 = getEnvironmentAtAnnotation(Results, "p1"); TEST_F() local
1507 compare(QualType Type,const Value & Val1,const Environment & Env1,const Value & Val2,const Environment & Env2) compare() argument
1550 const Environment &Env1 = getEnvironmentAtAnnotation(Results, "p1"); TEST_F() local
1595 const Environment &Env1 = getEnvironmentAtAnnotation(Results, "p1"); TEST_F() local
1646 const Environment &Env1 = getEnvironmentAtAnnotation(Results, "p1"); TEST_F() local
1701 const Environment &Env1 = getEnvironmentAtAnnotation(Results, "p1"); TEST_F() local
1757 const Environment &Env1 = getEnvironmentAtAnnotation(Results, "p1"); TEST_F() local
1849 const Environment &Env1 = getEnvironmentAtAnnotation(Results, "p1"); TEST_F() local
[all...] |
| H A D | DataflowEnvironmentTest.cpp | 177 Environment Env1(DAContext); TEST_F() local
|
| H A D | SignAnalysisTest.cpp | 375 BoolValue &joinBoolValues(BoolValue &Bool1, const Environment &Env1, in joinBoolValues()
402 const Environment &Env1, const Value &Val2, in join()
|
| H A D | TransferTest.cpp | 840 const Environment &Env1 = getEnvironmentAtAnnotation(Results, "p1"); TEST() local
1033 const Environment &Env1 = getEnvironmentAtAnnotation(Results, "p1"); TEST() local
2260 const Environment &Env1 = getEnvironmentAtAnnotation(Results, "p1"); TEST() local
2906 const Environment &Env1 = getEnvironmentAtAnnotation(Results, "p1"); TEST() local
5473 const Environment &Env1 = getEnvironmentAtAnnotation(Results, "p1"); TEST() local
5554 const Environment &Env1 = getEnvironmentAtAnnotation(Results, "p1"); TEST() local
[all...] |
| /llvm-project/clang/lib/Analysis/FlowSensitive/ |
| H A D | RecordOps.cpp | 88 bool recordsEqual(const RecordStorageLocation &Loc1, const Environment &Env1, in recordsEqual()
|
| H A D | DataflowEnvironment.cpp | 96 compareDistinctValues(QualType Type,Value & Val1,const Environment & Env1,Value & Val2,const Environment & Env2,Environment::ValueModel & Model) compareDistinctValues() argument
121 joinDistinctValues(QualType Type,Value & Val1,const Environment & Env1,Value & Val2,const Environment & Env2,Environment & JoinedEnv,Environment::ValueModel & Model) joinDistinctValues() argument
208 compareKeyToValueMaps(const llvm::MapVector<Key,Value * > & Map1,const llvm::MapVector<Key,Value * > & Map2,const Environment & Env1,const Environment & Env2,Environment::ValueModel & Model) compareKeyToValueMaps() argument
235 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
799 joinValues(QualType Ty,Value * Val1,const Environment & Env1,Value * Val2,const Environment & Env2,Environment & JoinedEnv,Environment::ValueModel & Model) joinValues() argument
[all...] |
| /llvm-project/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.h | 88 const Environment &Env1, const Value &Val2, in compare()
109 virtual void join(QualType Type, const Value &Val1, const Environment &Env1, in join()
|