This is an archive of the discontinued LLVM Phabricator instance.

Show First 20 Lines • Show All 350 Lines • ▼ Show 20 Lines	return checkDataflow<AnalysisT>(
std::move(AI)		std::move(AI)
.withSetupTest(std::move(SetupTest))		.withSetupTest(std::move(SetupTest))
.withPostVisitCFG(std::move(PostVisitCFG)),		.withPostVisitCFG(std::move(PostVisitCFG)),
[&VerifyResults, &AnnotationStates](const AnalysisOutputs &AO) {		[&VerifyResults, &AnnotationStates](const AnalysisOutputs &AO) {
VerifyResults(AnnotationStates, AO);		VerifyResults(AnnotationStates, AO);
});		});
}		}

// Deprecated.
// FIXME: Remove this function after usage has been updated to the overload
// which uses the `AnalysisInputs` struct.
//
/// Runs dataflow specified from `MakeAnalysis` on the body of the function that
/// matches `TargetFuncMatcher` in `Code`. Given the state computed at each
/// annotated statement, `VerifyResults` checks that the results from the
/// analysis are correct.
///
/// Requirements:
///
/// `AnalysisT` contains a type `Lattice`.
///
/// `Code`, `TargetFuncMatcher`, `MakeAnalysis` and `VerifyResults` must be
/// provided.
///
/// Any annotations appearing in `Code` must come after a statement.
///
/// There can be at most one annotation attached per statement.
///
/// Annotations must not be repeated.
template <typename AnalysisT>
llvm::Error checkDataflow(
llvm::StringRef Code,
ast_matchers::internal::Matcher<FunctionDecl> TargetFuncMatcher,
std::function<AnalysisT(ASTContext &, Environment &)> MakeAnalysis,
std::function<void(
llvm::ArrayRef<std::pair<
std::string, DataflowAnalysisState<typename AnalysisT::Lattice>>>,
ASTContext &)>
VerifyResults,
ArrayRef<std::string> Args,
const tooling::FileContentMappings &VirtualMappedFiles = {}) {
return checkDataflow<AnalysisT>(
AnalysisInputs<AnalysisT>(Code, std::move(TargetFuncMatcher),
std::move(MakeAnalysis))
.withASTBuildArgs(std::move(Args))
.withASTBuildVirtualMappedFiles(std::move(VirtualMappedFiles)),
[&VerifyResults](const llvm::StringMap<DataflowAnalysisState<
typename AnalysisT::Lattice>> &AnnotationStates,
const AnalysisOutputs &AO) {
std::vector<std::pair<
std::string, DataflowAnalysisState<typename AnalysisT::Lattice>>>
AnnotationStatesAsVector;
for (const auto &P : AnnotationStates) {
AnnotationStatesAsVector.push_back(
std::make_pair(P.first().str(), std::move(P.second)));
}
llvm::sort(AnnotationStatesAsVector,
[](auto a, auto b) { return a.first < b.first; });

VerifyResults(AnnotationStatesAsVector, AO.ASTCtx);
});
}

// Deprecated.
// FIXME: Remove this function after usage has been updated to the overload
// which uses the `AnalysisInputs` struct.
//
/// Runs dataflow specified from `MakeAnalysis` on the body of the function
/// named `TargetFun` in `Code`. Given the state computed at each annotated
/// statement, `VerifyResults` checks that the results from the analysis are
/// correct.
///
/// Requirements:
///
/// `AnalysisT` contains a type `Lattice`.
///
/// Any annotations appearing in `Code` must come after a statement.
///
/// `Code`, `TargetFun`, `MakeAnalysis` and `VerifyResults` must be provided.
///
/// There can be at most one annotation attached per statement.
///
/// Annotations must not be repeated.
template <typename AnalysisT>
llvm::Error checkDataflow(
llvm::StringRef Code, llvm::StringRef TargetFun,
std::function<AnalysisT(ASTContext &, Environment &)> MakeAnalysis,
std::function<void(
llvm::ArrayRef<std::pair<
std::string, DataflowAnalysisState<typename AnalysisT::Lattice>>>,
ASTContext &)>
VerifyResults,
ArrayRef<std::string> Args,
const tooling::FileContentMappings &VirtualMappedFiles = {}) {
return checkDataflow<AnalysisT>(
Code, ast_matchers::hasName(TargetFun), std::move(MakeAnalysis),
std::move(VerifyResults), Args, VirtualMappedFiles);
}

/// Returns the `ValueDecl` for the given identifier.		/// Returns the `ValueDecl` for the given identifier.
///		///
/// Requirements:		/// Requirements:
///		///
/// `Name` must be unique in `ASTCtx`.		/// `Name` must be unique in `ASTCtx`.
const ValueDecl *findValueDecl(ASTContext &ASTCtx, llvm::StringRef Name);		const ValueDecl *findValueDecl(ASTContext &ASTCtx, llvm::StringRef Name);

/// Creates and owns constraints which are boolean values.		/// Creates and owns constraints which are boolean values.
▲ Show 20 Lines • Show All 51 Lines • Show Last 20 Lines

This is an archive of the discontinued LLVM Phabricator instance.

[clang][dataflow] Remove deprecated overloads of `checkDataflow` in `TestingSupport.h`.ClosedPublic

Details

Diff Detail

Event Timeline

Revision Contents

Diff 461843

clang/unittests/Analysis/FlowSensitive/TestingSupport.h

[clang][dataflow] Remove deprecated overloads of `checkDataflow` in `TestingSupport.h`.
ClosedPublic