[Bug c++/13813] New: Incomplete member variables in a template.

[Bug c++/13813] New: Incomplete member variables in a template.

[mattyt-bugzilla at tpg dot com dot au]

This:

class E; template < class A > class Z { E e; };

or this:

template < class A > class Z { class E; E e; };

apparently should not compile under two stage lookup, but they do at the moment.

-- 
           Summary: Incomplete member variables in a template.
           Product: gcc
           Version: 3.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: mattyt-bugzilla at tpg dot com dot au
                CC: gcc-bugs at gcc dot gnu dot org


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

[Bug c++/13813] Incomplete member variables in a template.

[mattyt-bugzilla at tpg dot com dot au]

------- Additional Comments From mattyt-bugzilla at tpg dot com dot au  2004-01-22 14:48 -------
Here's another test case:

template < class TP1 >
class MainClass {
public:
  
  class A;
  
  friend class B;
  
  A a;
  
  template < class TP2 > class B {};
  
  class A {
    
    template < class TP2 > friend class B;
    
  };
  
};

int main(int argc, char *argv[]) {
  MainClass<int> var;
}

This rejects the code, but for totally wrong reasons:

taki4.cc: In instantiation of `MainClass<int>::A':
taki4.cc:9:   instantiated from `MainClass<int>'
taki4.cc:22:   instantiated from here
taki4.cc:13: error: `template<class TP2> struct MainClass<int>::B' redeclared as
different kind of symbol
taki4.cc:13: error: previous declaration of `struct B'

I've had it suggested that the original friend class B is OK because it refers
to a global, so why it gives this complaint is beyond me.  The test case seems
very fragile, it goes back to accepting easily.

Note this also exhibits bug #13390, except in this case there doesn't seem to be
 a valid reason for the error.

-- 


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

[Bug c++/13813] Incomplete member variables in a template.

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-01-22 15:17 -------
Confirmed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |diagnostic, rejects-valid
   Last reconfirmed|0000-00-00 00:00:00         |2004-01-22 15:17:11
               date|                            |


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

[Bug c++/13813] [DR206] Incomplete member variables in a template.

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2004-01-23 13:02 -------
The first testcase is exactly to DR206. It says "no diagnostic required" so we 
probably are already conforming, but nonetheless it's easy to add a diagnostic 
here (I have a patch in progress).

The second testcases is more subtle, because Z<A>::E is a dependent type, as 
explained in DR108 (then reworked by DR224). EDG does not agree with us, but I 
think it's correct to perform the check at instantiation time.

The third testcase (in comment #1) is unrelated, and will be moved to a 
different report.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |giovannibajo at libero dot
                   |dot org                     |it
             Status|NEW                         |ASSIGNED
            Summary|Incomplete member variables |[DR206] Incomplete member
                   |in a template.              |variables in a template.


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

[Bug c++/13813] [DR206] Incomplete member variables in a template.

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2004-01-23 14:21 -------
Patch posted:
http://gcc.gnu.org/ml/gcc-patches/2004-01/msg02443.html

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|rejects-valid               |accepts-invalid, patch


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

[Bug c++/13813] [DR206] Incomplete member variables in a template.

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-01-30 16:35 -------
Subject: Bug 13813

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	giovannibajo@gcc.gnu.org	2004-01-30 16:35:06

Modified files:
	gcc/cp         : ChangeLog decl.c 

Log message:
	DR206
	PR c++/13813
	* decl.c (grokdeclarator): Check immediatly type completeness for
	non-dependent types.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&r1=1.3919&r2=1.3920
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/decl.c.diff?cvsroot=gcc&r1=1.1176&r2=1.1177



-- 


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

[Bug c++/13813] [DR206] Incomplete member variables in a template.

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-01-30 16:40 -------
Subject: Bug 13813

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	giovannibajo@gcc.gnu.org	2004-01-30 16:40:43

Modified files:
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/g++.dg/template: member4.C 

Log message:
	DR206
	PR c++/13813
	* g++.dg/template/member4.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.3444&r2=1.3445
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/member4.C.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


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

[Bug c++/13813] [DR206] Incomplete member variables in a template.

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2004-01-30 16:42 -------
Fixed in GCC 3.5.0, thanks for your report!
FYI, I've just asked permission to backport the fix to the 3.4 branch.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |3.5.0


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

[Bug c++/13813] [DR206] Incomplete member variables in a template.

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-02-02 18:45 -------
Subject: Bug 13813

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-3_4-branch
Changes by:	giovannibajo@gcc.gnu.org	2004-02-02 18:45:20

Modified files:
	gcc/cp         : ChangeLog decl.c 

Log message:
	DR206
	PR c++/13813
	* decl.c (grokdeclarator): Check immediatly type completeness for
	non-dependent types.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.3892.2.27&r2=1.3892.2.28
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/decl.c.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.1174.2.3&r2=1.1174.2.4



-- 


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

[Bug c++/13813] [DR206] Incomplete member variables in a template.

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-02-02 18:47 -------
Subject: Bug 13813

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-3_4-branch
Changes by:	giovannibajo@gcc.gnu.org	2004-02-02 18:47:21

Modified files:
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/g++.dg/template: member4.C 

Log message:
	DR206
	PR c++/13813
	* g++.dg/template/member4.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.3389.2.40&r2=1.3389.2.41
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/member4.C.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=NONE&r2=1.1.2.1



-- 


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

[Bug c++/13813] [DR206] Incomplete member variables in a template.

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2004-02-02 18:48 -------
Backported the patch, this bug is now also fixed in 3.4.0.

-- 


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

[Bug c++/13813] [DR206] Incomplete member variables in a template.

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.5.0                       |3.4.0


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

[Bug c++/13813] [DR206] Incomplete member variables in a template.

[mmitchel at gcc dot gnu dot org]

------- Additional Comments From mmitchel at gcc dot gnu dot org  2004-02-03 09:27 -------
Does the backport fix PR 10711?

-- 


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

[Bug c++/13813] [DR206] Incomplete member variables in a template.

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2004-02-03 10:15 -------
Yes, it does, Mark.

-- 


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