[clang][dataflow] Unify `TransferOptions` and `DataflowAnalysisContext::Options`.
authorYitzhak Mandelbaum <yitzhakm@google.com>
Tue, 27 Dec 2022 17:34:30 +0000 (17:34 +0000)
committerYitzhak Mandelbaum <yitzhakm@google.com>
Tue, 10 Jan 2023 14:17:25 +0000 (14:17 +0000)
commit264976d98e785fa061ce6ac06db4a9bda2590506
tree9578ef790dcdac83a715d7bed4c25cd729006515
parente2e5d5923604db30089c551ba2f469d245887585
[clang][dataflow] Unify `TransferOptions` and `DataflowAnalysisContext::Options`.

Merges `TransferOptions` into the newly-introduced
`DataflowAnalysisContext::Options` and removes explicit parameter for
`TransferOptions`, relying instead on the common options carried by the analysis
context. Given that there was no intent to allow different options between calls
to `transfer`, a common value for the options is preferable.

Differential Revision: https://reviews.llvm.org/D140703
clang/include/clang/Analysis/FlowSensitive/DataflowAnalysis.h
clang/include/clang/Analysis/FlowSensitive/DataflowAnalysisContext.h
clang/include/clang/Analysis/FlowSensitive/DataflowEnvironment.h
clang/include/clang/Analysis/FlowSensitive/Transfer.h
clang/include/clang/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.h
clang/lib/Analysis/FlowSensitive/DataflowAnalysisContext.cpp
clang/lib/Analysis/FlowSensitive/Transfer.cpp
clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp
clang/unittests/Analysis/FlowSensitive/TestingSupport.h
clang/unittests/Analysis/FlowSensitive/TransferTest.cpp