[Bug c++/19502] New: duplicate diagnostic for invalid template constant parameter

[Bug c++/19502] New: duplicate diagnostic for invalid template constant parameter

[reichelt at gcc dot gnu dot org]

Since gcc 3.3.3 the compiler issues a duplicate diagnostic for the
following invalid code snippet (before we got an ICE):

=========================================
template<typename T> struct A
{
    template<T> struct B;
};

A<void> a;
=========================================

bug.cc: In instantiation of 'A<void>':
bug.cc:6:   instantiated from here
bug.cc:3: error: 'void' is not a valid type for a template constant parameter
bug.cc:3: error: 'void' is not a valid type for a template constant parameter

-- 
           Summary: duplicate diagnostic for invalid template constant
                    parameter
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Keywords: diagnostic
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: reichelt at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org


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

[Bug c++/19502] duplicate diagnostic for invalid template constant parameter

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-18 14:29 -------
Confirmed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-01-18 14:29:59
               date|                            |


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

[Bug c++/19502] duplicate diagnostic for invalid template constant parameter

[reichelt at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2005-08-24 19:38 -------
This is probably due to the fact that lookup_template_class
is called twice as the comment above the function states:

   ??? Note that this function is currently called *twice* for each
   template-id: the first time from the parser, while creating the
   incomplete type (finish_template_type), and the second type during the
   real instantiation (instantiate_template_class). This is surely something
   that we want to avoid. It also causes some problems with argument
   coercion (see convert_nontype_argument for more information on this).  */


-- 


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