clang-tools 20.0.0git
SwitchMissingDefaultCaseCheck.cpp
Go to the documentation of this file.
1//===--- SwitchMissingDefaultCaseCheck.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
10#include "clang/AST/ASTContext.h"
11
12using namespace clang::ast_matchers;
13
14namespace clang::tidy::bugprone {
15
16namespace {
17
18AST_MATCHER(SwitchStmt, hasDefaultCase) {
19 const SwitchCase *Case = Node.getSwitchCaseList();
20 while (Case) {
21 if (DefaultStmt::classof(Case))
22 return true;
23
24 Case = Case->getNextSwitchCase();
25 }
26 return false;
27}
28} // namespace
29
31 Finder->addMatcher(
32 switchStmt(hasCondition(expr(unless(isInstantiationDependent()),
33 hasType(qualType(hasCanonicalType(
34 unless(hasDeclaration(enumDecl()))))))),
35 unless(hasDefaultCase()))
36 .bind("switch"),
37 this);
38}
39
41 const ast_matchers::MatchFinder::MatchResult &Result) {
42 const auto *Switch = Result.Nodes.getNodeAs<SwitchStmt>("switch");
43
44 diag(Switch->getSwitchLoc(), "switching on non-enum value without "
45 "default case may not cover all cases");
46}
47} // namespace clang::tidy::bugprone
::clang::DynTypedNode Node
DiagnosticBuilder diag(SourceLocation Loc, StringRef Description, DiagnosticIDs::Level Level=DiagnosticIDs::Warning)
Add a diagnostic with the check's name.
void check(const ast_matchers::MatchFinder::MatchResult &Result) override
ClangTidyChecks that register ASTMatchers should do the actual work in here.
void registerMatchers(ast_matchers::MatchFinder *Finder) override
Override this to register AST matchers with Finder.
AST_MATCHER(clang::VarDecl, hasConstantDeclaration)