[Bug c++/11697] New: Failure to diagnose class template redeclaration via using declaration

[Bug c++/11697] New: Failure to diagnose class template redeclaration via using declaration

[dgregor at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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

           Summary: Failure to diagnose class template redeclaration via
                    using declaration
           Product: gcc
           Version: 3.4
            Status: UNCONFIRMED
          Keywords: accepts-invalid
          Severity: minor
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: dgregor at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: powerpc-apple-darwin6.6
  GCC host triplet: powerpc-apple-darwin6.6
GCC target triplet: powerpc-apple-darwin6.6

The following program should not compile, because 'A' is being redeclared in namespace foo via 
the using declaration (it has already been declared differently in namespace foo):

namespace foo {
  template<typename T>
  struct A {};
}

namespace bar {
  template<typename T>
  struct A {};
}

namespace foo {
  using bar::A;
}

[Bug c++/11697] [3.3/3.4 Regression] Failure to diagnose class template redeclaration via using declaration

[pinskia at physics dot uc dot edu]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at physics dot uc dot edu changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|minor                       |critical
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
 GCC target triplet|powerpc-apple-darwin6.6     |
           Priority|P2                          |P1
   Last reconfirmed|0000-00-00 00:00:00         |2003-07-28 22:17:05
               date|                            |
            Summary|Failure to diagnose class   |[3.3/3.4 Regression] Failure
                   |template redeclaration via  |to diagnose class template
                   |using declaration           |redeclaration via using
                   |                            |declaration
   Target Milestone|3.4                         |3.3.1


------- Additional Comments From pinskia at physics dot uc dot edu  2003-07-28 22:17 -------
I can confirm this on the mainline (20030728) and 3.3.1 (20030707).

>From Phil's regression hunter: Search converges between 2003-03-11-trunk (#242) and 2003-
03-12-trunk (#243).
: Search converges between 2003-03-10-3.3 (#76) and 2003-03-12-3.3 (#77).

So it was caused by something that went on both the 3.3 branch and the mainline during though 
days.

[Bug c++/11697] [3.3/3.4 Regression] Failure to diagnose class template redeclaration via using declaration

[janis187 at us dot ibm dot com]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


janis187 at us dot ibm dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mmitchel at gcc dot gnu dot
                   |                            |org


------- Additional Comments From janis187 at us dot ibm dot com  2003-07-30 17:09 -------
The regression in PR 11697 was introduced or exposed by this patch:

--- gcc/gcc/cp/ChangeLog ---

2003-03-11  Mark Mitchell  <mark@codesourcery.com>

        PR c++/9336
        * decl2.c (do_nonmember_using_decl): Do not call duplicate decls
        to merge old and new declarations.

The regression hunt was done on i686-pc-linux-gnu using the submitter's
test case with no special options.

[Bug c++/11697] [3.3/3.4 Regression] Failure to diagnose class template redeclaration via using declaration

[cvs-commit at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From cvs-commit at gcc dot gnu dot org  2003-08-01 18:48 -------
Subject: Bug 11697

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	mmitchel@gcc.gnu.org	2003-08-01 18:48:50

Modified files:
	gcc/cp         : ChangeLog decl.c pt.c semantics.c 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/g++.dg/template: koenig2.C using6.C 

Log message:
	PR c++/11697
	* decl.c (decls_match): Don't ignore the types of template
	classes.
	
	PR c++/11744
	* pt.c (tsubst_copy_and_build): Refine Koenig lookup logic.
	
	PR c++/11697
	* g++.dg/template/using6.C: New test.
	
	PR c++/11744
	* g++.dg/template/koenig2.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&r1=1.3579&r2=1.3580
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/decl.c.diff?cvsroot=gcc&r1=1.1106&r2=1.1107
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/pt.c.diff?cvsroot=gcc&r1=1.748&r2=1.749
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/semantics.c.diff?cvsroot=gcc&r1=1.341&r2=1.342
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.2944&r2=1.2945
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/koenig2.C.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/using6.C.diff?cvsroot=gcc&r1=NONE&r2=1.1

[Bug c++/11697] [3.3/3.4 Regression] Failure to diagnose class template redeclaration via using declaration

[mmitchel at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


mmitchel at gcc dot gnu dot org changed:

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


------- Additional Comments From mmitchel at gcc dot gnu dot org  2003-08-01 18:50 -------
Fixed in GCC 3.4.

[Bug c++/11697] [3.3/3.4 Regression] Failure to diagnose class template redeclaration via using declaration

[pinskia at physics dot uc dot edu]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at physics dot uc dot edu changed:

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


------- Additional Comments From pinskia at physics dot uc dot edu  2003-08-01 19:23 -------
This is a 3.3.1 regression with respect to 3.3 so reopening as 3.3.1 is not fixed yet.

[Bug c++/11697] [3.3 Regression] Failure to diagnose class template redeclaration via using declaration

[mmitchel at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.3.1                       |3.3.2


------- Additional Comments From mmitchel at gcc dot gnu dot org  2003-08-03 16:00 -------
Postponed until GCC 3.3.2; this is only an accepts-invalid.

[Bug c++/11697] [3.3 Regression] Failure to diagnose class template redeclaration via using declaration

[pinskia at physics dot uc dot edu]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at physics dot uc dot edu changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |mmitchel at gcc dot gnu dot
                   |dot org                     |org
             Status|REOPENED                    |ASSIGNED

[Bug c++/11697] [3.3 Regression] Failure to diagnose class template redeclaration via using declaration

[mmitchel at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.3.2                       |3.3.3


------- Additional Comments From mmitchel at gcc dot gnu dot org  2003-10-16 09:25 -------
Postponed until GCC 3.3.3.

[Bug c++/11697] [3.3 Regression] Failure to diagnose class template redeclaration via using declaration

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-01-11 01:39 -------
Will not be fixed for 3.3.3.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|critical                    |normal
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |WONTFIX


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