diff options
| author | Yitzhak Mandelbaum <yitzhakm@google.com> | 2023-02-13 16:27:39 +0000 |
|---|---|---|
| committer | Yitzhak Mandelbaum <yitzhakm@google.com> | 2023-02-15 15:37:21 +0000 |
| commit | 6b991ba486b64f09e7d90ebc1fc2118ab48c8bff (patch) | |
| tree | 69b3227057945569bc52c5eb116cd6807ebcb53f /clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp | |
| parent | 02ae7e72b3f00969eeb579a2b4346082827f0b35 (diff) | |
| download | llvm-6b991ba486b64f09e7d90ebc1fc2118ab48c8bff.zip llvm-6b991ba486b64f09e7d90ebc1fc2118ab48c8bff.tar.gz llvm-6b991ba486b64f09e7d90ebc1fc2118ab48c8bff.tar.bz2 | |
[clang][dataflow] Change `transfer` API to take a reference.
The provided `CFGElement` is never null, so a reference is a more precise type.
Differential Revision: https://reviews.llvm.org/D143920
Diffstat (limited to 'clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp')
| -rw-r--r-- | clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp b/clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp index ef34492..aebe326 100644 --- a/clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp +++ b/clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp @@ -832,10 +832,10 @@ UncheckedOptionalAccessModel::UncheckedOptionalAccessModel(ASTContext &Ctx) : DataflowAnalysis<UncheckedOptionalAccessModel, NoopLattice>(Ctx), TransferMatchSwitch(buildTransferMatchSwitch()) {} -void UncheckedOptionalAccessModel::transfer(const CFGElement *Elt, +void UncheckedOptionalAccessModel::transfer(const CFGElement &Elt, NoopLattice &L, Environment &Env) { LatticeTransferState State(L, Env); - TransferMatchSwitch(*Elt, getASTContext(), State); + TransferMatchSwitch(Elt, getASTContext(), State); } ComparisonResult UncheckedOptionalAccessModel::compare( |