[Bug c++/31512] New: function template with member reference compile failure

[Bug c++/31512] New: function template with member reference compile failure

[gianni at mariani dot ws]

The code below has 3 ways of declaring the template member function
ObjInitSelDot().  One of them performs as desired, the other two do not. 
Comeau compiles all of them (albeit with a silly warning).

As far as I can tell, all three should compile.

template <typename T>
struct InitObject
{
    private:

    struct xA {};
    struct xB : xA {};

    template <int w_size>
    struct Detect;

    struct NoMemb { char a[1]; };
    struct Memb_MemberA { char a[2]; };


    template <typename U>
    inline static Memb_MemberA ObjInitSelDot(
// 3 different signatures - one works 2 fail under gcc 4.1.1
//        U & obj, xB * b, Detect< sizeof(U().MemberA) > * = 0 // ?? bug
//        U & obj, xB * b, Detect< sizeof(&U::MemberA) > * = 0 // Works
        // also ICE's on gcc 4.0.0 and earlier
        U & obj, xB * b, Detect< sizeof(((U*)0)->MemberA) > * = 0 // ?? bug
    );

    template <typename U>
    inline static NoMemb ObjInitSelDot(
        U & obj, xA * b
    );

    public:

    inline int ObjTest()
    {
        typedef xB * bp;

        T   obj = T();

        return sizeof( ObjInitSelDot( obj, bp() ) );

    }
};


/////////// test code

struct A
{
    int a;
    char x[10];
};


struct B
{
    int MemberA;
    char x[15];
};


int main()
{
    InitObject<A>().ObjTest();
    InitObject<B>().ObjTest();
}


-- 
           Summary: function template with member reference compile failure
           Product: gcc
           Version: 4.1.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: gianni at mariani dot ws
 GCC build triplet: i386-redhat-linux
  GCC host triplet: i386-redhat-linux
GCC target triplet: i386-redhat-linux


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

[Bug c++/31512] function template with member reference compile failure

[gianni at mariani dot ws]

------- Comment #1 from gianni at mariani dot ws  2007-04-09 13:51 -------
I just built gcc-4.3-20070202 x86_64-redhat-linux and confirmed behaviour is
the same as 4.1.1.


-- 

gianni at mariani dot ws changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Version|4.1.1                       |4.3.0


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

[Bug c++/31512] function template with member reference compile failure

[redi at gcc dot gnu dot org]

------- Comment #2 from redi at gcc dot gnu dot org  2010-04-28 18:23 -------
all three forms compile ok with 4.4.3 or 4.6.0


-- 

redi at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED


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