Searched refs:MergedEnv (Results 1 – 5 of 5) sorted by relevance
| /llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.cpp | 79 Environment &MergedEnv, in mergeDistinctValues() argument
88 auto &MergedVal = MergedEnv.makeAtomicBoolValue(); in mergeDistinctValues()
89 MergedEnv.addToFlowCondition(MergedEnv.makeOr( in mergeDistinctValues()
90 MergedEnv.makeAnd(Env1.getFlowConditionToken(), in mergeDistinctValues()
91 MergedEnv.makeIff(MergedVal, *Expr1)), in mergeDistinctValues()
92 MergedEnv.makeAnd(Env2.getFlowConditionToken(), in mergeDistinctValues()
93 MergedEnv.makeIff(MergedVal, *Expr2)))); in mergeDistinctValues()
104 if (Value *MergedVal = MergedEnv.createValue(Type)) in mergeDistinctValues()
105 if (Model.merge(Type, *Val1, Env1, *Val2, Env2, *MergedVal, MergedEnv)) in mergeDistinctValues()
|
| /llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/Models/ |
| H A D | UncheckedOptionalAccessModel.cpp | 730 Environment &MergedEnv) { in merge() argument
734 auto &HasValueVal = MergedEnv.makeAtomicBoolValue(); in merge()
736 MergedEnv.addToFlowCondition(HasValueVal); in merge()
738 MergedEnv.addToFlowCondition(MergedEnv.makeNot(HasValueVal)); in merge()
|
| /llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/Models/ |
| H A D | UncheckedOptionalAccessModel.h | 63 Environment &MergedEnv) override;
|
| /llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.h | 106 Environment &MergedEnv) { in merge() argument
|
| /llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/ |
| H A D | TypeErasedDataflowAnalysisTest.cpp | 359 Environment &MergedEnv) final { in merge() argument
373 auto &IsSet = MergedEnv.makeAtomicBoolValue(); in merge()
377 MergedEnv.addToFlowCondition(IsSet); in merge()
503 Environment &MergedEnv) final { in merge() argument
|