From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 1051 invoked by alias); 23 Jan 2004 13:02:48 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Received: (qmail 1015 invoked by uid 48); 23 Jan 2004 13:02:46 -0000 Date: Fri, 23 Jan 2004 13:02:00 -0000 Message-ID: <20040123130246.1014.qmail@sources.redhat.com> From: "giovannibajo at libero dot it" To: gcc-bugs@gcc.gnu.org In-Reply-To: <20040122143040.13813.mattyt-bugzilla@tpg.com.au> References: <20040122143040.13813.mattyt-bugzilla@tpg.com.au> Reply-To: gcc-bugzilla@gcc.gnu.org Subject: [Bug c++/13813] [DR206] Incomplete member variables in a template. X-Bugzilla-Reason: CC X-SW-Source: 2004-01/txt/msg02917.txt.bz2 List-Id: ------- 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::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