[Bug c++/56585] New: Cannot introduce a qualified type - Elaborated type specifiers

[Bug c++/56585] New: Cannot introduce a qualified type - Elaborated type specifiers

[fpelliccioni at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56585

             Bug #: 56585
           Summary: Cannot introduce a qualified type - Elaborated type
                    specifiers
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: fpelliccioni@gmail.com


I understand that the following code should yield a compiler error. 
According to the C++ Standard ( N3485 )
    3.4.4 Elaborated type specifiers [basic.lookup.elab]
    See example in paragraph 3

Instead, the compiler issues a warning.

// Begin code-----------------
struct Data {};
struct ::Data;
int main () {}

// End code-------------------

Verified on:
    4.8.0 (20130204)
    4.7.2
    4.6.3

Used as follows:    
    -std=c++11 -Wall -W -pedantic -O2
    or
    -std=c++0x -Wall -W -pedantic -O2


Thanks and Regards,
Fernando Pelliccioni

[Bug c++/56585] Cannot introduce a qualified type - Elaborated type specifiers

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56585

--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> 2013-03-10 10:25:27 UTC ---
For the record, likewise current ICC.

(by the way, you don't need a main in such a testcase, it's a dg-do compile
anyway)

[Bug c++/56585] Cannot introduce a qualified type - Elaborated type specifiers

[redi at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56585

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |diagnostic

--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> 2013-03-10 10:33:45 UTC ---
The standard says nothing about errors, it only requires a diagnostic, and a
warning is a diagnostic.

Maybe it could be an error with -pedantic-errors though.

[Bug c++/56585] Cannot introduce a qualified type - Elaborated type specifiers

[fpelliccioni at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56585

--- Comment #3 from Fernando Pelliccioni <fpelliccioni at gmail dot com> 2013-03-10 11:21:59 UTC ---
I don't see anything about "diagnostic", I only see that the Standard says
"error"

I quote a relevant excerpt from the example.

[ Example:

/* ... */

struct Data {
/* ... */
};

/* ... */

struct Data; // OK: Redeclares Data at global scope
struct ::Data; // error: cannot introduce a qualified type (7.1.6.3)

/* ... */
—end example ]

If I'm wrong, please point me to the standard.

[Bug c++/56585] Cannot introduce a qualified type - Elaborated type specifiers

[redi at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56585

--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> 2013-03-10 12:41:42 UTC ---
1.3.6 [defns.diagnostic] and 1.4 [intro.compliance] p2

[Bug c++/56585] Cannot introduce a qualified type - Elaborated type specifiers

[fpelliccioni at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56585

--- Comment #5 from Fernando Pelliccioni <fpelliccioni at gmail dot com> 2013-03-10 17:17:58 UTC ---
Maybe GCC behavior is correct.
I thought, mistakenly, that the examples of the C++ Standard have normative
meaning.

[Bug c++/56585] Cannot introduce a qualified type - Elaborated type specifiers

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56585

Paolo Carlini <paolo.carlini at oracle dot com> changed:

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

--- Comment #6 from Paolo Carlini <paolo.carlini at oracle dot com> 2013-03-15 15:50:14 UTC ---
Closing.