Searched refs:JoinedEnv (Results 1 – 2 of 2) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.cpp | 124 Environment &JoinedEnv, in joinDistinctValues() argument
144 auto &A = JoinedEnv.arena(); in joinDistinctValues()
146 JoinedEnv.assume( in joinDistinctValues()
154 Value *JoinedVal = JoinedEnv.createValue(Type); in joinDistinctValues()
156 Model.join(Type, Val1, Env1, Val2, Env2, *JoinedVal, JoinedEnv); in joinDistinctValues()
237 Environment &JoinedEnv, Environment::ValueModel &Model) { in joinLocToVal() argument
252 Loc->getType(), Val, Env1, It->second, Env2, JoinedEnv, Model)) { in joinLocToVal()
772 Environment JoinedEnv(*EnvA.DACtx); in join() local
774 JoinedEnv.CallStack = EnvA.CallStack; in join()
775 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,
|