[PATCH] D127442: [Sema] Fix a bug where clang doesn't detect uses of unavailable decls in C++ base or member initializers
Akira Hatanaka via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Thu Jun 9 14:20:30 PDT 2022
ahatanak created this revision.
ahatanak added a reviewer: arphaman.
ahatanak added a project: clang.
Herald added a project: All.
ahatanak requested review of this revision.
Repository:
rG LLVM Github Monorepo
https://reviews.llvm.org/D127442
Files:
clang/lib/Sema/SemaAvailability.cpp
clang/test/SemaCXX/attr-availability.cpp
Index: clang/test/SemaCXX/attr-availability.cpp
===================================================================
--- /dev/null
+++ clang/test/SemaCXX/attr-availability.cpp
@@ -0,0 +1,21 @@
+// RUN: %clang_cc1 -triple x86_64-apple-macosx10.9.0 -std=c++11 -fsyntax-only -verify %s
+
+__attribute__((availability(macos, introduced = 10.0))) int init10();
+__attribute__((availability(macos, introduced = 11.0))) int init11(); // expected-note 2 {{'init11' has been marked as being introduced in macOS 11.0}}
+
+struct B0 {
+ B0(int);
+};
+
+struct B1 {
+ B1(int);
+};
+
+struct S : B0, B1 {
+ S() : B0(init10()),
+ B1(init11()), // expected-warning {{'init11' is only available on macOS 11.0}} expected-note {{enclose 'init11'}}
+ i0(init10()),
+ i1(init11()) // expected-warning {{'init11' is only available on macOS 11.0}} expected-note {{enclose 'init11'}}
+ {}
+ int i0, i1;
+};
Index: clang/lib/Sema/SemaAvailability.cpp
===================================================================
--- clang/lib/Sema/SemaAvailability.cpp
+++ clang/lib/Sema/SemaAvailability.cpp
@@ -895,6 +895,11 @@
return;
Body = FD->getBody();
+
+ if (auto *CD = dyn_cast<CXXConstructorDecl>(FD))
+ for (const CXXCtorInitializer *CI : CD->inits())
+ DiagnoseUnguardedAvailability(*this, D).IssueDiagnostics(CI->getInit());
+
} else if (auto *MD = dyn_cast<ObjCMethodDecl>(D))
Body = MD->getBody();
else if (auto *BD = dyn_cast<BlockDecl>(D))
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D127442.435683.patch
Type: text/x-patch
Size: 1490 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20220609/88309775/attachment.bin>
More information about the cfe-commits
mailing list