Author: Chris Bieneman Date: 2022-04-28T10:37:50-05:00 New Revision: 0d6b574b8717a44cda565baa756875f762fa60b9
URL: https://github.com/llvm/llvm-project/commit/0d6b574b8717a44cda565baa756875f762fa60b9 DIFF: https://github.com/llvm/llvm-project/commit/0d6b574b8717a44cda565baa756875f762fa60b9.diff LOG: [HLSL] Adjust access specifier behavior HLSL doesn't support access specifiers. This change has two components: 1) Make default access for classes public 2) Diagnose the use of access specifiers as a clang HLSL extension As long as the default behavior for access specifiers matches HLSL, allowing them to be used doesn't cause sourece incompatability with valid code. As such enabling them as a clang extension seems like a reasonable approach. Fixes #55124 Reviewed By: aaron.ballman Differential Revision: https://reviews.llvm.org/D124487 Added: clang/test/ParserHLSL/access_specifiers.hlsl Modified: clang/include/clang/Basic/DiagnosticGroups.td clang/include/clang/Basic/DiagnosticParseKinds.td clang/lib/Parse/ParseDeclCXX.cpp clang/lib/Sema/SemaDeclCXX.cpp Removed: ################################################################################ diff --git a/clang/include/clang/Basic/DiagnosticGroups.td b/clang/include/clang/Basic/DiagnosticGroups.td index 5a9fe8673a044..e6f62801d7adb 100644 --- a/clang/include/clang/Basic/DiagnosticGroups.td +++ b/clang/include/clang/Basic/DiagnosticGroups.td @@ -1362,3 +1362,6 @@ def PedanticMacros : DiagGroup<"pedantic-macros", def BranchProtection : DiagGroup<"branch-protection">; +// HLSL diagnostic groups +// Warnings for HLSL Clang extensions +def HLSLExtension : DiagGroup<"hlsl-extensions">; diff --git a/clang/include/clang/Basic/DiagnosticParseKinds.td b/clang/include/clang/Basic/DiagnosticParseKinds.td index d8d78dfa0befa..bd74674325fbe 100644 --- a/clang/include/clang/Basic/DiagnosticParseKinds.td +++ b/clang/include/clang/Basic/DiagnosticParseKinds.td @@ -1599,5 +1599,8 @@ def note_max_tokens_total_override : Note<"total token limit set here">; def err_expected_semantic_identifier : Error< "expected HLSL Semantic identifier">; def err_unknown_hlsl_semantic : Error<"unknown HLSL semantic %0">; +def ext_hlsl_access_specifiers : ExtWarn< + "access specifiers are a clang HLSL extension">, + InGroup<HLSLExtension>; } // end of Parser diagnostics diff --git a/clang/lib/Parse/ParseDeclCXX.cpp b/clang/lib/Parse/ParseDeclCXX.cpp index 9cf9f7cc4c371..22ad9e030b0d8 100644 --- a/clang/lib/Parse/ParseDeclCXX.cpp +++ b/clang/lib/Parse/ParseDeclCXX.cpp @@ -2170,8 +2170,11 @@ BaseResult Parser::ParseBaseSpecifier(Decl *ClassDecl) { // Parse an (optional) access specifier. AccessSpecifier Access = getAccessSpecifierIfPresent(); - if (Access != AS_none) + if (Access != AS_none) { ConsumeToken(); + if (getLangOpts().HLSL) + Diag(Tok.getLocation(), diag::ext_hlsl_access_specifiers); + } CheckMisplacedCXX11Attribute(Attributes, StartLoc); @@ -3270,6 +3273,8 @@ Parser::DeclGroupPtrTy Parser::ParseCXXClassMemberDeclarationWithPragmas( LLVM_FALLTHROUGH; case tok::kw_public: case tok::kw_protected: { + if (getLangOpts().HLSL) + Diag(Tok.getLocation(), diag::ext_hlsl_access_specifiers); AccessSpecifier NewAS = getAccessSpecifierIfPresent(); assert(NewAS != AS_none); // Current token is a C++ access specifier. @@ -3509,8 +3514,9 @@ void Parser::ParseCXXMemberSpecification(SourceLocation RecordLoc, // C++ 11p3: Members of a class defined with the keyword class are private // by default. Members of a class defined with the keywords struct or union // are public by default. + // HLSL: In HLSL members of a class are public by default. AccessSpecifier CurAS; - if (TagType == DeclSpec::TST_class) + if (TagType == DeclSpec::TST_class && !getLangOpts().HLSL) CurAS = AS_private; else CurAS = AS_public; diff --git a/clang/lib/Sema/SemaDeclCXX.cpp b/clang/lib/Sema/SemaDeclCXX.cpp index 4467f2357189e..b45e8e396b31a 100644 --- a/clang/lib/Sema/SemaDeclCXX.cpp +++ b/clang/lib/Sema/SemaDeclCXX.cpp @@ -2501,6 +2501,11 @@ Sema::CheckBaseSpecifier(CXXRecordDecl *Class, bool Virtual, AccessSpecifier Access, TypeSourceInfo *TInfo, SourceLocation EllipsisLoc) { + // In HLSL, unspecified class access is public rather than private. + if (getLangOpts().HLSL && Class->getTagKind() == TTK_Class && + Access == AS_none) + Access = AS_public; + QualType BaseType = TInfo->getType(); if (BaseType->containsErrors()) { // Already emitted a diagnostic when parsing the error type. diff --git a/clang/test/ParserHLSL/access_specifiers.hlsl b/clang/test/ParserHLSL/access_specifiers.hlsl new file mode 100644 index 0000000000000..1bfef3c44d773 --- /dev/null +++ b/clang/test/ParserHLSL/access_specifiers.hlsl @@ -0,0 +1,55 @@ +// RUN: %clang_cc1 -triple dxil-pc-shadermodel6.0-compute -x hlsl -ast-dump -o - %s -verify +// RUN: %clang_cc1 -triple dxil-pc-shadermodel6.0-compute -x hlsl -ast-dump -DSTRUCT -o - %s -verify + +#ifdef STRUCT +#define KEYWORD struct +#else +#define KEYWORD class +#endif + +KEYWORD Doggo { + int legs; // expected-note {{member is declared here}} expected-note {{member is declared here}} +protected: // expected-warning {{access specifiers are a clang HLSL extension}} + int ears[2]; // expected-note {{declared protected here}} +private: // expected-warning {{access specifiers are a clang HLSL extension}} + int tail; // expected-note {{declared private here}} expected-note {{declared private here}} +}; + +KEYWORD Shiba : public Doggo { // expected-warning {{access specifiers are a clang HLSL extension}} + int undercoat; +}; + +KEYWORD Akita : Doggo { + int floof; +}; + +KEYWORD Chow : private Doggo { // expected-warning {{access specifiers are a clang HLSL extension}} expected-note {{constrained by private inheritance here}} + int megafloof; +}; + +KEYWORD Dachshund : protected Doggo { // expected-warning {{access specifiers are a clang HLSL extension}} expected-note {{constrained by protected inheritance here}} + int wiry; +}; + +void Puppers() { + Shiba Shibe; + Shibe.undercoat = 0xFFFF; + Shibe.legs = 4; + + Shibe.tail = 1; // expected-error {{'tail' is a private member of 'Doggo'}} + Shibe.ears[0] = 1; // expected-error {{'ears' is a protected member of 'Doggo'}} + + Akita Aki; + Aki.floof = 0xFFFF; + Aki.legs = 4; + + Aki.tail = 1; // expected-error {{'tail' is a private member of 'Doggo'}} + + Chow Ch; + Ch.megafloof = 0xFFFF; + + Ch.legs = 4; // expected-error {{'legs' is a private member of 'Doggo'}} + + Dachshund DH; + DH.legs = 4; // expected-error {{'legs' is a protected member of 'Doggo'}} +} _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits