[Bug c++/41725] New: g++ accepts compounded unnamed type in template (violates 14.3.1-2)

[Bug c++/41725] New: g++ accepts compounded unnamed type in template (violates 14.3.1-2)

[td-gnubugs at th-dorner dot de]

g++ accepts a type as a template argument, that is defined inside of an unnamed
type.
In the attached example t_inner is defined in an unnamed structure.  That would
make t_inner a "type compounded from an unnamed type" as I read section
14.3.1-2 of the ISO/IEC 14882/1998 standard (p. 241).
So this should cause an error (and does with other Compilers / tools), but g++
accepts it.

The problem was found with:
> gcc -v
Using built-in specs.
Target: sparc-sun-solaris2.10
Configured with: ../gcc-4.2.4/configure --prefix=/usr/local/gcc424
Thread model: posix
gcc version 4.2.4

It has also been verified with:
> gcc -v
Reading specs from /usr/local/gcc344/lib/gcc/sparc-sun-solaris2.10/3.4.4/specs
Configured with: ./configure --prefix=/usr/local/gcc344
Thread model: posix
gcc version 3.4.4

It has also been seen with version 4.3.3 on Linux (Ubuntu 9.04 on 64bit Intel).

The Comeau online compiler gives an "a template argument may not reference an
unnamed type" error message for that code.


-- 
           Summary: g++ accepts compounded unnamed type in template
                    (violates 14.3.1-2)
           Product: gcc
           Version: 4.2.4
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: td-gnubugs at th-dorner dot de
 GCC build triplet: sparc-sun-solaris2.10
  GCC host triplet: sparc-sun-solaris2.10
GCC target triplet: sparc-sun-solaris2.10


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

[Bug c++/41725] g++ accepts compounded unnamed type in template (violates 14.3.1-2)

[td-gnubugs at th-dorner dot de]

------- Comment #1 from td-gnubugs at th-dorner dot de  2009-10-16 08:59 -------
Created an attachment (id=18806)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18806&action=view)
(almost) minimal example

A
g++ -pedantic -ansi -Wall -Wextra -o ArrayWithInnerStructure3
ArrayWithInnerStructure3.cpp ; ./ArrayWithInnerStructure3 ; echo $?
just prints "8" and no compilation error or warning.


-- 


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

[Bug c++/41725] g++ accepts compounded unnamed type in template (violates 14.3.1-2)

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

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

--- Comment #6 from Jason Merrill <jason at gcc dot gnu.org> ---
(In reply to Jason Merrill from comment #5)
> DR 62 clarified that G++ is correct here.
> 
> http://open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#62

Actually, it didn't really; this case is still unclear in the new wording for
DR 62.

[Bug c++/41725] g++ accepts compounded unnamed type in template (violates 14.3.1-2)

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

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

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> ---
DR 62 clarified that G++ is correct here.

http://open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#62

[Bug c++/41725] g++ accepts compounded unnamed type in template (violates 14.3.1-2)

[paolo.carlini at oracle dot com]

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

--- Comment #4 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Do we have DR # for this issue?

[Bug c++/41725] g++ accepts compounded unnamed type in template (violates 14.3.1-2)

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |SUSPENDED
   Last reconfirmed|                            |2011-09-29
     Ever Confirmed|0                           |1

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> 2011-09-29 00:17:53 UTC ---
I believe that "unnamed type" here was not meant to include a nested type in a
class with a name.  EDG disagrees, so I'm suspending the PR until the committee
rules on this case.

[Bug c++/41725] g++ accepts compounded unnamed type in template (violates 14.3.1-2)

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|gcc-bugs at gcc dot gnu.org |jason at gcc dot gnu.org

--- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-09-28 21:28:34 UTC ---
In the C++11 times I don't think we are going to work on this .. Are we?