Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
26 changes: 26 additions & 0 deletions cpp2rust/cpp_rule_preprocessor.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -86,6 +86,26 @@ class Callback : public clang::ast_matchers::MatchFinder::MatchCallback {
void run(const clang::ast_matchers::MatchFinder::MatchResult &R) override {
assert(sema_);
Mapper::PushASTContext scoped(*R.Context);
if (auto func = R.Nodes.getNodeAs<clang::FunctionDecl>("validate_func")) {
const char *err = nullptr;
if (auto body =
clang::dyn_cast_or_null<clang::CompoundStmt>(func->getBody())) {
if (body->size() != 1) {
err = "body must contain exactly one statement (a return)";
} else if (!clang::isa<clang::ReturnStmt>(*body->body_begin())) {
err = "body must be a return statement";
}
} else {
err = "body cannot be empty";
}

if (err) {
llvm::errs() << "ERROR: " << func->getQualifiedNameAsString() << ": "
<< err << '\n';
std::exit(EXIT_FAILURE);
}
return;
}
if (auto var = R.Nodes.getNodeAs<clang::TypeAliasDecl>("tvar")) {
clang::QualType type;
if (auto *tdecl = var->getDescribedAliasTemplate()) {
Expand Down Expand Up @@ -687,6 +707,12 @@ class ActionFactory : public clang::tooling::FrontendActionFactory {
typeAliasDecl(matchesName("(^|::)t[0-9]+$"), isExpansionInMainFile())
.bind("tvar"),
&cb_);

finder_.addMatcher(functionDecl(isDefinition(),
matchesName("(^|::)f[0-9]+$"),
isExpansionInMainFile())
.bind("validate_func"),
&cb_);
}

std::unique_ptr<clang::FrontendAction> create() override {
Expand Down
Loading