Searched refs:JoinedVal (Results 1 – 2 of 2) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.cpp | 145 auto &JoinedVal = A.makeAtomRef(A.makeAtom()); in joinDistinctValues() local
148 A.makeEquals(JoinedVal, Expr1)), in joinDistinctValues()
150 A.makeEquals(JoinedVal, Expr2)))); in joinDistinctValues()
151 return &A.makeBoolValue(JoinedVal); in joinDistinctValues()
154 Value *JoinedVal = JoinedEnv.createValue(Type); in joinDistinctValues() local
155 if (JoinedVal) in joinDistinctValues()
156 Model.join(Type, Val1, Env1, Val2, Env2, *JoinedVal, JoinedEnv); in joinDistinctValues()
158 return JoinedVal; in joinDistinctValues()
251 if (Value *JoinedVal = Environment::joinValues( in joinLocToVal() local
253 Result.insert({Loc, JoinedVal}); in joinLocToVal()
|
| /freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.h | 111 Value &JoinedVal, Environment &JoinedEnv) {} in join() argument
|