From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-prs-return-25953-listarch-gcc-prs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 17598 invoked by alias); 9 Dec 2002 19:29:53 -0000
Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc-prs/>
List-Post: <mailto:gcc-prs@gcc.gnu.org>
List-Help: <mailto:gcc-prs-help@gcc.gnu.org>
Sender: gcc-prs-owner@gcc.gnu.org
Received: (qmail 17564 invoked by uid 61); 9 Dec 2002 19:29:53 -0000
Date: Mon, 09 Dec 2002 11:29:00 -0000
Message-ID: <20021209192953.17563.qmail@sources.redhat.com>
To: eivuokko@bonumit.com, gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org,
  nobody@gcc.gnu.org
From: bangerth@dealii.org
Reply-To: bangerth@dealii.org, eivuokko@bonumit.com, gcc-bugs@gcc.gnu.org,
  gcc-prs@gcc.gnu.org, nobody@gcc.gnu.org, gcc-gnats@gcc.gnu.org
Subject: Re: c++/8858: Gcc "rebinds" template member names.
X-SW-Source: 2002-12/txt/msg00482.txt.bz2
List-Id: <gcc-prs.sourceware.org>

Synopsis: Gcc "rebinds" template member names.

State-Changed-From-To: open->analyzed
State-Changed-By: bangerth
State-Changed-When: Mon Dec  9 11:29:52 2002
State-Changed-Why:
    Confirmed. Very wicked template magic, though.
    
    Here's a slightly smaller testcase, failing in the wrong
    place:
    ----------------------------------#include <cassert>
    
    template<class T_, class U_> struct cons {};
    
    template<class L_> struct list {
        typedef L_ type;
        template<class T_> class add : public ::list< ::cons<T_, L_> > {};
    };
        
    template<class T1_,class T2_> struct IsSame        { enum { Value = false }; };
    template<class T_>            struct IsSame<T_,T_> { enum { Value = true } ; };
    
    
    int main() {
      typedef list<cons<double,float> >::add<char>::add<int>::type test_type;
                                       // this should absolutely fail
      assert((IsSame<cons<int, cons<double,float> >,
                     test_type>::Value ));
                                       // and this shouldn't
      assert(( IsSame<
               cons<int, cons<char, cons<double,float> > >,
               test_type>::Value ));
    }
    ------------------------------
    
    This never went right, at least not back to 2.95.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=8858