https://github.com/zeyi2 created https://github.com/llvm/llvm-project/pull/201287
None >From b04675e17127a2fb08f60e9cc7e66bc1610f76ef Mon Sep 17 00:00:00 2001 From: Zeyi Xu <[email protected]> Date: Wed, 3 Jun 2026 16:00:13 +0800 Subject: [PATCH] [clang-tidy] Avoid evaluating value-dependent static initializers in fuchsia-statically-constructed-objects --- .../fuchsia/StaticallyConstructedObjectsCheck.cpp | 9 +++++---- clang-tools-extra/docs/ReleaseNotes.rst | 4 ++++ .../checkers/fuchsia/statically-constructed-objects.cpp | 8 ++++++++ 3 files changed, 17 insertions(+), 4 deletions(-) diff --git a/clang-tools-extra/clang-tidy/fuchsia/StaticallyConstructedObjectsCheck.cpp b/clang-tools-extra/clang-tidy/fuchsia/StaticallyConstructedObjectsCheck.cpp index 9e540e03d365b..6e42fb61c8521 100644 --- a/clang-tools-extra/clang-tidy/fuchsia/StaticallyConstructedObjectsCheck.cpp +++ b/clang-tools-extra/clang-tidy/fuchsia/StaticallyConstructedObjectsCheck.cpp @@ -13,8 +13,9 @@ using namespace clang::ast_matchers; namespace clang::tidy::fuchsia { namespace { -AST_MATCHER(Expr, isConstantInitializer) { - return Node.isConstantInitializer(Finder->getASTContext(), false); +AST_MATCHER(Expr, isConstantInitializerOrValueDependent) { + return Node.isValueDependent() || + Node.isConstantInitializer(Finder->getASTContext(), false); } AST_MATCHER(VarDecl, isGlobalStatic) { @@ -35,8 +36,8 @@ void StaticallyConstructedObjectsCheck::registerMatchers(MatchFinder *Finder) { hasDescendant(cxxConstructExpr(unless(allOf( // ... unless it is constexpr ... hasDeclaration(cxxConstructorDecl(isConstexpr())), - // ... and is statically initialized. - isConstantInitializer()))))) + // ... and is statically initialized or value-dependent. + isConstantInitializerOrValueDependent()))))) .bind("decl")), this); } diff --git a/clang-tools-extra/docs/ReleaseNotes.rst b/clang-tools-extra/docs/ReleaseNotes.rst index 3bc902529a1dc..36c597d2d6a18 100644 --- a/clang-tools-extra/docs/ReleaseNotes.rst +++ b/clang-tools-extra/docs/ReleaseNotes.rst @@ -511,6 +511,10 @@ Changes in existing checks `IgnoreMacros` option. When enabled, unscoped ``enum`` declarations within macros are ignored. +- Improved :doc:`fuchsia-statically-constructed-objects + <clang-tidy/checks/fuchsia/statically-constructed-objects>` check by fixing a + crash when checking value-dependent static member initializers in class templates. + - Improved :doc:`llvm-use-ranges <clang-tidy/checks/llvm/use-ranges>` check by adding support for the following algorithms: ``std::accumulate``, ``std::replace_copy``, and diff --git a/clang-tools-extra/test/clang-tidy/checkers/fuchsia/statically-constructed-objects.cpp b/clang-tools-extra/test/clang-tidy/checkers/fuchsia/statically-constructed-objects.cpp index 006494eeca679..37ca2c0dee4f2 100644 --- a/clang-tools-extra/test/clang-tidy/checkers/fuchsia/statically-constructed-objects.cpp +++ b/clang-tools-extra/test/clang-tidy/checkers/fuchsia/statically-constructed-objects.cpp @@ -81,6 +81,14 @@ static S s3(get_i()); // CHECK-MESSAGES: [[@LINE-1]]:1: warning: static objects are disallowed; if possible, use a constexpr constructor instead [fuchsia-statically-constructed-objects] // CHECK-MESSAGES-NEXT: static S s3(get_i()); +template <typename T, int Val> +struct ClassTemplateWithStaticMember { + static S StaticMember; +}; + +template <typename T, int Val> +S ClassTemplateWithStaticMember<T, Val>::StaticMember(Val); + void f() { // Locally static is fine static int i; _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
