[clang-tools-extra] [clang-tidy] detect redundant uses of LLVM's cast, dyn_cast (PR #189274)
Victor Chernyakin via cfe-commits
cfe-commits at lists.llvm.org
Sun Mar 29 11:57:45 PDT 2026
================
@@ -0,0 +1,131 @@
+//===----------------------------------------------------------------------===//
+//
+// 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 "RedundantCastingCheck.h"
+#include "clang/AST/Expr.h"
+#include "clang/AST/ExprCXX.h"
+#include "clang/AST/TemplateBase.h"
+#include "clang/ASTMatchers/ASTMatchFinder.h"
+#include "clang/ASTMatchers/ASTMatchers.h"
+#include "clang/Lex/Lexer.h"
+#include "llvm/ADT/STLExtras.h"
+
+using namespace clang::ast_matchers;
+
+namespace clang::tidy::llvm_check {
+
+namespace {
+AST_MATCHER(Expr, isMacroID) { return Node.getExprLoc().isMacroID(); }
+AST_MATCHER_P(OverloadExpr, hasAnyUnresolvedName, ArrayRef<StringRef>, Names) {
+ auto DeclName = Node.getName();
+ if (!DeclName.isIdentifier())
+ return false;
+ const IdentifierInfo *II = DeclName.getAsIdentifierInfo();
+ return llvm::any_of(Names, [II](StringRef Name) { return II->isStr(Name); });
+}
+} // namespace
+
+static StringRef FunctionNames[] = {
+ "cast", "cast_or_null", "cast_if_present",
+ "dyn_cast", "dyn_cast_or_null", "dyn_cast_if_present"};
+
+void RedundantCastingCheck::registerMatchers(MatchFinder *Finder) {
+ auto AnyCalleeName = [](ArrayRef<StringRef> CalleeName) {
+ return allOf(unless(isMacroID()), unless(cxxMemberCallExpr()),
+ callee(expr(ignoringImpCasts(
+ declRefExpr(to(namedDecl(hasAnyName(CalleeName))),
+ hasAnyTemplateArgumentLoc(anything()))
+ .bind("callee")))));
+ };
+ auto AnyCalleeNameInUninstantiatedTemplate =
+ [](ArrayRef<StringRef> CalleeName) {
+ return allOf(unless(isMacroID()), unless(cxxMemberCallExpr()),
+ callee(expr(ignoringImpCasts(
+ unresolvedLookupExpr(hasAnyUnresolvedName(CalleeName))
+ .bind("callee")))));
+ };
+ Finder->addMatcher(
+ callExpr(
+ AnyCalleeName(FunctionNames),
+ hasAncestor(functionDecl().bind("context")))
+ .bind("call"),
+ this);
+ Finder->addMatcher(
+ callExpr(AnyCalleeNameInUninstantiatedTemplate(FunctionNames))
+ .bind("call"),
+ this);
+}
+
+static QualType stripPointerOrReference(QualType Ty) {
+ QualType Pointee = Ty->getPointeeType();
+ if (Pointee.isNull())
+ return Ty;
+ return Pointee;
+}
+
+void RedundantCastingCheck::check(const MatchFinder::MatchResult &Result) {
+ const auto &Nodes = Result.Nodes;
+ const auto *Call = Nodes.getNodeAs<CallExpr>("call");
+ if (Call->getNumArgs() != 1)
+ return;
+
+ CanQualType RetTy;
+ std::string FuncName;
+ if (const auto *ResolvedCallee = Nodes.getNodeAs<DeclRefExpr>("callee")) {
+ const auto *F = dyn_cast<FunctionDecl>(ResolvedCallee->getDecl());
+ const auto *SurroundingFunc = Nodes.getNodeAs<FunctionDecl>("context");
+ // Casts can be redundant for some instantiations but not others.
+ // Only emit warnings in templates in the uninstantated versions.
+ if (SurroundingFunc->isTemplateInstantiation())
+ return;
----------------
localspook wrote:
Instead of manually excluding instantiations, you probably want to add
```cpp
std::optional<TraversalKind> getCheckTraversalKind() const override {
return TK_IgnoreUnlessSpelledInSource;
}
```
to the check's header file. That way, the check will never even visit instantiations.
https://github.com/llvm/llvm-project/pull/189274
More information about the cfe-commits
mailing list