xref: /llvm-project/clang-tools-extra/clang-tidy/cppcoreguidelines/ProTypeUnionAccessCheck.cpp (revision 0fbf91ab8e395717ed886c6827ca572c5baaa7a0)
1 //===--- ProTypeUnionAccessCheck.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 "ProTypeUnionAccessCheck.h"
10 #include "clang/AST/ASTContext.h"
11 #include "clang/ASTMatchers/ASTMatchFinder.h"
12 
13 using namespace clang::ast_matchers;
14 
15 namespace clang::tidy::cppcoreguidelines {
16 
17 void ProTypeUnionAccessCheck::registerMatchers(MatchFinder *Finder) {
18   Finder->addMatcher(
19       memberExpr(hasObjectExpression(hasType(recordDecl(isUnion()))))
20           .bind("expr"),
21       this);
22 }
23 
24 void ProTypeUnionAccessCheck::check(const MatchFinder::MatchResult &Result) {
25   const auto *Matched = Result.Nodes.getNodeAs<MemberExpr>("expr");
26   SourceLocation Loc = Matched->getMemberLoc();
27   if (Loc.isInvalid())
28     Loc = Matched->getBeginLoc();
29   diag(Loc, "do not access members of unions; consider using (boost::)variant "
30             "instead");
31 }
32 
33 } // namespace clang::tidy::cppcoreguidelines
34