Searched refs:JoinedEnv (Results 1 – 2 of 2) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.cpp | 122 Environment &JoinedEnv, in joinDistinctValues() argument
142 auto &A = JoinedEnv.arena(); in joinDistinctValues()
144 JoinedEnv.assume( in joinDistinctValues()
152 Value *JoinedVal = JoinedEnv.createValue(Type); in joinDistinctValues()
154 Model.join(Type, Val1, Env1, Val2, Env2, *JoinedVal, JoinedEnv); in joinDistinctValues()
236 Environment &JoinedEnv, Environment::ValueModel &Model) { in joinLocToVal() argument
251 Loc->getType(), Val, Env1, It->second, Env2, JoinedEnv, Model)) { in joinLocToVal()
771 Environment JoinedEnv(*EnvA.DACtx); in join() local
773 JoinedEnv.CallStack = EnvA.CallStack; in join()
774 JoinedEnv.ResultObjectMap = EnvA.ResultObjectMap; in join()
[all …]
|
| /freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.h | 111 Value &JoinedVal, Environment &JoinedEnv) {} in join() argument
270 Environment &JoinedEnv,
|