From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-95593-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 25253 invoked by alias); 16 May 2004 21:39:07 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
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
Received: (qmail 25240 invoked by uid 48); 16 May 2004 21:39:07 -0000
Date: Mon, 17 May 2004 08:28:00 -0000
Message-ID: <20040516213907.25239.qmail@sourceware.org>
From: "pinskia at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
In-Reply-To: <20040516212738.15480.gianni@mariani.ws>
References: <20040516212738.15480.gianni@mariani.ws>
Reply-To: gcc-bugzilla@gcc.gnu.org
Subject: [Bug c++/15480] ICE with sizeof(T().f()) as template parameter in function resolution
X-Bugzilla-Reason: CC
X-SW-Source: 2004-05/txt/msg01741.txt.bz2
List-Id: <gcc-bugs.sourceware.org>


------- Additional Comments From pinskia at gcc dot gnu dot org  2004-05-16 21:39 -------
Confirmed.
Here is a simplied example (it might be turned into invalid though):
template <unsigned int w_siz>
struct MPT_IntToType
{
    typedef char    type;
};
template <typename w_D>
struct MPT_Finder_Member
{
    template <typename w_T>
    static int finder(
        const w_T *,
        typename MPT_IntToType<
            sizeof(w_T().Function())
        >::type * = 0
    );
    static int finder( const w_D * );
};
template <typename w_D >
struct MPT_ContainsFuncMember
{
    struct DerivedClass : w_D{};
    typedef DerivedClass  * DerivedClassp;
    enum {
        value = (
            sizeof( MPT_Finder_Member<w_D>::finder( DerivedClassp() ) )
            == sizeof( int)
        )
    };
};
struct A{};
int t = MPT_ContainsFuncMember<A>::value;

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2004-05-16 21:39:06
               date|                            |


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