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

Fri Jan 23 13:02:00 GMT 2004

------- 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