diff --git a/clang/tools/libclang/CIndex.cpp b/clang/tools/libclang/CIndex.cpp --- a/clang/tools/libclang/CIndex.cpp +++ b/clang/tools/libclang/CIndex.cpp @@ -1294,7 +1294,7 @@ bool CursorVisitor::VisitStaticAssertDecl(StaticAssertDecl *D) { if (Visit(MakeCXCursor(D->getAssertExpr(), StmtParent, TU, RegionOfInterest))) return true; - if (auto *Message = dyn_cast(D->getMessage())) + if (auto *Message = D->getMessage()) if (Visit(MakeCXCursor(Message, StmtParent, TU, RegionOfInterest))) return true; return false; diff --git a/clang/unittests/libclang/LibclangTest.cpp b/clang/unittests/libclang/LibclangTest.cpp --- a/clang/unittests/libclang/LibclangTest.cpp +++ b/clang/unittests/libclang/LibclangTest.cpp @@ -1172,6 +1172,80 @@ }); } +TEST_F(LibclangParseTest, VisitStaticAssertDecl_noMessage) { + const char testSource[] = R"cpp(static_assert(true))cpp"; + std::string fileName = "main.cpp"; + WriteFile(fileName, testSource); + const char *Args[] = {"-xc++"}; + ClangTU = clang_parseTranslationUnit(Index, fileName.c_str(), Args, 1, + nullptr, 0, TUFlags); + + std::optional staticAssertCsr; + Traverse([&](CXCursor cursor, CXCursor parent) -> CXChildVisitResult { + if (cursor.kind == CXCursor_StaticAssert) { + staticAssertCsr.emplace(cursor); + return CXChildVisit_Break; + } + return CXChildVisit_Recurse; + }); + ASSERT_TRUE(staticAssertCsr.has_value()); + Traverse(*staticAssertCsr, [](CXCursor cursor, CXCursor parent) { + EXPECT_EQ(cursor.kind, CXCursor_CXXBoolLiteralExpr); + return CXChildVisit_Break; + }); + EXPECT_EQ(fromCXString(clang_getCursorSpelling(*staticAssertCsr)), ""); +} + +TEST_F(LibclangParseTest, VisitStaticAssertDecl_exprMessage) { + const char testSource[] = R"cpp( +template +constexpr unsigned size(const char (&)[s]) +{ + return s - 1; +} + +struct Message { + static constexpr char message[] = "Hello World!"; + constexpr const char* data() const { return message;} + constexpr unsigned size() const + { + return ::size(message); + } +}; +Message message; +static_assert(true, message); +)cpp"; + std::string fileName = "main.cpp"; + WriteFile(fileName, testSource); + const char *Args[] = {"-xc++", "-std=c++26"}; + ClangTU = clang_parseTranslationUnit(Index, fileName.c_str(), Args, + std::size(Args), nullptr, 0, TUFlags); + ASSERT_EQ(clang_getNumDiagnostics(ClangTU), 0); + std::optional staticAssertCsr; + Traverse([&](CXCursor cursor, CXCursor parent) -> CXChildVisitResult { + if (cursor.kind == CXCursor_StaticAssert) { + staticAssertCsr.emplace(cursor); + } + return CXChildVisit_Continue; + }); + ASSERT_TRUE(staticAssertCsr.has_value()); + size_t argCnt = 0; + Traverse(*staticAssertCsr, [&argCnt](CXCursor cursor, CXCursor parent) { + switch (argCnt) { + case 0: + EXPECT_EQ(cursor.kind, CXCursor_CXXBoolLiteralExpr); + break; + case 1: + EXPECT_EQ(cursor.kind, CXCursor_DeclRefExpr); + break; + } + ++argCnt; + return CXChildVisit_Continue; + }); + ASSERT_EQ(argCnt, 2); + EXPECT_EQ(fromCXString(clang_getCursorSpelling(*staticAssertCsr)), ""); +} + class LibclangRewriteTest : public LibclangParseTest { public: CXRewriter Rew = nullptr; diff --git a/clang/unittests/libclang/TestUtils.h b/clang/unittests/libclang/TestUtils.h --- a/clang/unittests/libclang/TestUtils.h +++ b/clang/unittests/libclang/TestUtils.h @@ -87,14 +87,18 @@ it.first->second->size() // length }); } - template - void Traverse(const F &TraversalFunctor) { - CXCursor TuCursor = clang_getTranslationUnitCursor(ClangTU); + template + void Traverse(const CXCursor &cursor, const F &TraversalFunctor) { std::reference_wrapper FunctorRef = std::cref(TraversalFunctor); - clang_visitChildren(TuCursor, - &TraverseStateless>, - &FunctorRef); + clang_visitChildren(cursor, + &TraverseStateless>, + &FunctorRef); } + + template void Traverse(const F &TraversalFunctor) { + Traverse(clang_getTranslationUnitCursor(ClangTU), TraversalFunctor); + } + static std::string fromCXString(CXString cx_string) { std::string string{clang_getCString(cx_string)}; clang_disposeString(cx_string);