Skip to content

Commit 7645a76

Browse files
authored
[clang][dataflow] Remove legacy version of runDataflowAnalysis(). (#101146)
1 parent c6b192a commit 7645a76

File tree

1 file changed

+1
-17
lines changed

1 file changed

+1
-17
lines changed

clang/include/clang/Analysis/FlowSensitive/DataflowAnalysis.h

Lines changed: 1 addition & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -233,7 +233,7 @@ llvm::Expected<std::vector<
233233
std::optional<DataflowAnalysisState<typename AnalysisT::Lattice>>>>
234234
runDataflowAnalysis(const AdornedCFG &ACFG, AnalysisT &Analysis,
235235
const Environment &InitEnv,
236-
CFGEltCallbacks<AnalysisT> PostAnalysisCallbacks,
236+
CFGEltCallbacks<AnalysisT> PostAnalysisCallbacks = {},
237237
std::int32_t MaxBlockVisits = kDefaultMaxBlockVisits) {
238238
CFGEltCallbacksTypeErased TypeErasedCallbacks;
239239
if (PostAnalysisCallbacks.Before) {
@@ -286,22 +286,6 @@ runDataflowAnalysis(const AdornedCFG &ACFG, AnalysisT &Analysis,
286286
return std::move(BlockStates);
287287
}
288288

289-
/// Overload that takes only one post-analysis callback, which is run on the
290-
/// state after visiting the `CFGElement`. This is provided for backwards
291-
/// compatibility; new callers should call the overload taking `CFGEltCallbacks`
292-
/// instead.
293-
template <typename AnalysisT>
294-
llvm::Expected<std::vector<
295-
std::optional<DataflowAnalysisState<typename AnalysisT::Lattice>>>>
296-
runDataflowAnalysis(
297-
const AdornedCFG &ACFG, AnalysisT &Analysis, const Environment &InitEnv,
298-
CFGEltCallback<AnalysisT> PostAnalysisCallbackAfterElt = nullptr,
299-
std::int32_t MaxBlockVisits = kDefaultMaxBlockVisits) {
300-
return runDataflowAnalysis(ACFG, Analysis, InitEnv,
301-
{nullptr, PostAnalysisCallbackAfterElt},
302-
MaxBlockVisits);
303-
}
304-
305289
// Create an analysis class that is derived from `DataflowAnalysis`. This is an
306290
// SFINAE adapter that allows us to call two different variants of constructor
307291
// (either with or without the optional `Environment` parameter).

0 commit comments

Comments
 (0)