[Bug c++/102524] New: [modules] Missing diagnostic when an exported namespace is empty

[Bug c++/102524] New: [modules] Missing diagnostic when an exported namespace is empty

[johelegp at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102524

            Bug ID: 102524
           Summary: [modules] Missing diagnostic when an exported
                    namespace is empty
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Keywords: diagnostic
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: johelegp at gmail dot com
                CC: johelegp at gmail dot com
  Target Milestone: ---

This is specified at [module.interface].3:
> An exported declaration that is not a module-import-declaration
> shall declare at least one name.

GCC doesn't print any diagnostic (https://godbolt.org/z/oEbTjcfeo)
whereas Clang gives a warning (https://godbolt.org/z/ajszM74j9):
> `mod.cpp:2:18: warning: ISO C++20 does not permit a declaration that
> does not introduce any names to be exported [-Wexport-unnamed]`

[Bug c++/102524] [modules] Missing diagnostic when an exported namespace is empty

[johelegp at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102524

Johel Ernesto Guerrero Peña <johelegp at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|UNCONFIRMED                 |RESOLVED

--- Comment #1 from Johel Ernesto Guerrero Peña <johelegp at gmail dot com> ---
Clang no longer warns. This was resolved with
https://github.com/cplusplus/draft/commit/f3ffeb4f05fe4302d8ecee129e72f4e99e10dc02,
which striked the quoted sentence.