Home
last modified time | relevance | path

Searched defs:JoinedEnv (Results 1 – 4 of 4) sorted by relevance

/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DDataflowEnvironment.cpp123 joinDistinctValues(QualType Type,Value & Val1,const Environment & Env1,Value & Val2,const Environment & Env2,Environment & JoinedEnv,Environment::ValueModel & Model) joinDistinctValues() argument
236 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
757 Environment JoinedEnv(*EnvA.DACtx); join() local
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 DDataflowEnvironment.h111 Value &JoinedVal, Environment &JoinedEnv) {} in join()
/llvm-project/clang/unittests/Analysis/FlowSensitive/
H A DSignAnalysisTest.cpp377 Environment &JoinedEnv) { in joinBoolValues()
404 Environment &JoinedEnv) { in join()
H A DTypeErasedDataflowAnalysisTest.cpp824 join(QualType Type,const Value & Val1,const Environment & Env1,const Value & Val2,const Environment & Env2,Value & JoinedVal,Environment & JoinedEnv) join() argument