| /llvm-project/clang/unittests/Analysis/FlowSensitive/ |
| H A D | TypeErasedDataflowAnalysisTest.cpp | 752 const Environment &Env2 = getEnvironmentAtAnnotation(Results, "p2"); TEST_F() local
810 compare(QualType Type,const Value & Val1,const Environment & Env1,const Value & Val2,const Environment & Env2) compare() argument
823 join(QualType Type,const Value & Val1,const Environment & Env1,const Value & Val2,const Environment & Env2,Value & JoinedVal,Environment & JoinedEnv) join() argument
901 const Environment &Env2 = getEnvironmentAtAnnotation(Results, "p2"); TEST_F() local
943 const Environment &Env2 = getEnvironmentAtAnnotation(Results, "p2"); TEST_F() local
1084 const Environment &Env2 = getEnvironmentAtAnnotation(Results, "p2"); TEST_F() local
1115 const Environment &Env2 = getEnvironmentAtAnnotation(Results, "p2"); TEST_F() local
1197 const Environment &Env2 = getEnvironmentAtAnnotation(Results, "p2"); TEST_F() local
1234 const Environment &Env2 = getEnvironmentAtAnnotation(Results, "p2"); TEST_F() local
1271 const Environment &Env2 = getEnvironmentAtAnnotation(Results, "p2"); TEST_F() local
1308 const Environment &Env2 = getEnvironmentAtAnnotation(Results, "p2"); TEST_F() local
1480 const Environment &Env2 = getEnvironmentAtAnnotation(Results, "p2"); TEST_F() local
1508 compare(QualType Type,const Value & Val1,const Environment & Env1,const Value & Val2,const Environment & Env2) compare() argument
1551 const Environment &Env2 = getEnvironmentAtAnnotation(Results, "p2"); TEST_F() local
1596 const Environment &Env2 = getEnvironmentAtAnnotation(Results, "p2"); TEST_F() local
1647 const Environment &Env2 = getEnvironmentAtAnnotation(Results, "p2"); TEST_F() local
1702 const Environment &Env2 = getEnvironmentAtAnnotation(Results, "p2"); TEST_F() local
1758 const Environment &Env2 = getEnvironmentAtAnnotation(Results, "p2"); TEST_F() local
1850 const Environment &Env2 = getEnvironmentAtAnnotation(Results, "p2"); TEST_F() local
[all...] |
| H A D | DataflowEnvironmentTest.cpp | 181 Environment Env2(DAContext); TEST_F() local
|
| H A D | SignAnalysisTest.cpp | 376 BoolValue &Bool2, const Environment &Env2, in joinBoolValues()
403 const Environment &Env2, Value &JoinedVal, in join()
|
| H A D | TransferTest.cpp | 847 const Environment &Env2 = getEnvironmentAtAnnotation(Results, "p2"); TEST() local
1034 const Environment &Env2 = getEnvironmentAtAnnotation(Results, "p2"); TEST() local
2277 const Environment &Env2 = getEnvironmentAtAnnotation(Results, "p2"); TEST() local
2907 const Environment &Env2 = getEnvironmentAtAnnotation(Results, "p2"); TEST() local
5497 const Environment &Env2 = getEnvironmentAtAnnotation(Results, "p2"); TEST() local
5579 const Environment &Env2 = getEnvironmentAtAnnotation(Results, "p2"); TEST() local
[all...] |
| /llvm-project/clang/lib/Analysis/FlowSensitive/ |
| H A D | RecordOps.cpp | 89 const RecordStorageLocation &Loc2, const Environment &Env2) { in recordsEqual()
|
| H A D | DataflowEnvironment.cpp | 97 compareDistinctValues(QualType Type,Value & Val1,const Environment & Env1,Value & Val2,const Environment & Env2,Environment::ValueModel & Model) compareDistinctValues() argument
122 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
800 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 | 89 const Environment &Env2) { in compare()
110 const Value &Val2, const Environment &Env2, in join()
|