projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 02ae7e7) | patch
[clang][dataflow] Change `transfer` API to take a reference.
authorYitzhak Mandelbaum <yitzhakm@google.com>
Mon, 13 Feb 2023 16:27:39 +0000 (16:27 +0000)
committerYitzhak Mandelbaum <yitzhakm@google.com>
Wed, 15 Feb 2023 15:37:21 +0000 (15:37 +0000)
commit6b991ba486b64f09e7d90ebc1fc2118ab48c8bff
tree69b3227057945569bc52c5eb116cd6807ebcb53ftree | snapshot
parent02ae7e72b3f00969eeb579a2b4346082827f0b35commit | diff
[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
13 files changed:
clang/include/clang/Analysis/FlowSensitive/DataflowAnalysis.h diff | blob | history
clang/include/clang/Analysis/FlowSensitive/Models/ChromiumCheckModel.h diff | blob | history
clang/include/clang/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.h diff | blob | history
clang/include/clang/Analysis/FlowSensitive/NoopAnalysis.h diff | blob | history
clang/include/clang/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.h diff | blob | history
clang/lib/Analysis/FlowSensitive/Models/ChromiumCheckModel.cpp diff | blob | history
clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp diff | blob | history
clang/unittests/Analysis/FlowSensitive/ChromiumCheckModelTest.cpp diff | blob | history
clang/unittests/Analysis/FlowSensitive/MultiVarConstantPropagationTest.cpp diff | blob | history
clang/unittests/Analysis/FlowSensitive/SignAnalysisTest.cpp diff | blob | history
clang/unittests/Analysis/FlowSensitive/SingleVarConstantPropagationTest.cpp diff | blob | history
clang/unittests/Analysis/FlowSensitive/TransferBranchTest.cpp diff | blob | history
clang/unittests/Analysis/FlowSensitive/TypeErasedDataflowAnalysisTest.cpp diff | blob | history
Domain: System / Toolchain;