1 //===--- AvoidReferenceCoroutineParametersCheck.cpp - clang-tidy ----------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 
9 #include "AvoidReferenceCoroutineParametersCheck.h"
10 #include "clang/AST/ASTContext.h"
11 #include "clang/ASTMatchers/ASTMatchFinder.h"
12 
13 using namespace clang::ast_matchers;
14 
15 namespace clang {
16 namespace tidy {
17 namespace cppcoreguidelines {
18 
19 void AvoidReferenceCoroutineParametersCheck::registerMatchers(
20     MatchFinder *Finder) {
21   auto IsCoroMatcher =
22       hasDescendant(expr(anyOf(coyieldExpr(), coreturnStmt(), coawaitExpr())));
23   Finder->addMatcher(parmVarDecl(hasType(type(referenceType())),
24                                  hasAncestor(functionDecl(IsCoroMatcher)))
25                          .bind("param"),
26                      this);
27 }
28 
29 void AvoidReferenceCoroutineParametersCheck::check(
30     const MatchFinder::MatchResult &Result) {
31   if (const auto *Param = Result.Nodes.getNodeAs<ParmVarDecl>("param")) {
32     diag(Param->getBeginLoc(), "coroutine parameters should not be references");
33   }
34 }
35 
36 } // namespace cppcoreguidelines
37 } // namespace tidy
38 } // namespace clang
39