From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-416146-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 6790 invoked by alias); 23 Feb 2013 23:06:42 -0000
Received: (qmail 6704 invoked by uid 48); 23 Feb 2013 23:06:19 -0000
From: "ppluzhnikov at google dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/56243] [4.8 regression] ICE in tree check: expected field_decl, have identifier_node in fixed_type_or_null, at cp/class.c:6645
Date: Sat, 23 Feb 2013 23:06:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: ppluzhnikov at google dot com
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Priority: P1
X-Bugzilla-Assigned-To: fabien at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.8.0
X-Bugzilla-Changed-Fields:
Message-ID: <bug-56243-4-T1vGL4xYex@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-56243-4@http.gcc.gnu.org/bugzilla/>
References: <bug-56243-4@http.gcc.gnu.org/bugzilla/>
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
Content-Type: text/plain; charset="UTF-8"
MIME-Version: 1.0
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
X-SW-Source: 2013-02/txt/msg02311.txt.bz2


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

--- Comment #6 from Paul Pluzhnikov <ppluzhnikov at google dot com> 2013-02-23 23:06:18 UTC ---
(In reply to comment #4)
> I think the testcase is invalid

Looks like you are right, and it's been over-reduced.

> Shouldn't the below line be diagnosed, even if it is in a template ?
> F& name = x->value;

The error being that typeof(x->value) is A, not F, right?

If so, this corrected test case still triggers ICE:


class A
{
    virtual int String ();
};

class F: public A { };

template < typename V > class G
{
    V value;
};

class D
{
    template < int N > void Verify() {
      G<F>* x = 0;
      F& name = x->value;
      name.String();
    }
};