================
@@ -0,0 +1,51 @@
+//===----------------------------------------------------------------------===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM 
Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+
+#include "NestedSwitchLabelCheck.h"
+#include "clang/ASTMatchers/ASTMatchFinder.h"
+
+using namespace clang::ast_matchers;
+
+namespace clang::tidy::bugprone {
+
+namespace {
+
+static const char SwitchBodyId[] = "switch-body";
+static const char SwitchLabelId[] = "switch-label";
+
+AST_MATCHER_P(SwitchStmt, hasBodyIgnoringAttrs,
+              clang::ast_matchers::internal::Matcher<Stmt>, InnerMatcher) {
+  const Stmt *Body = Node.getBody();
+  while (const auto *Attributed = dyn_cast<AttributedStmt>(Body))
+    Body = Attributed->getSubStmt();
+
+  return InnerMatcher.matches(*Body, Finder, Builder);
+}
+
+} // namespace
+
+void NestedSwitchLabelCheck::registerMatchers(MatchFinder *Finder) {
+  const auto BoundSwitchBody = stmt().bind(SwitchBodyId);
+  const auto CompoundNestedInSwitchBody =
+      compoundStmt(hasAncestor(stmt(equalsBoundNode(SwitchBodyId))));
----------------
zwuis wrote:

Should we warn on this case?

```cpp
switch (Value) {
  if (Cond)
case 0:
    expr;
}
```

https://github.com/llvm/llvm-project/pull/212323
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to