[Bug c++/28044] New: Non-template class function return type taken as template when declared in a function template's return type

[Bug c++/28044] New: Non-template class function return type taken as template when declared in a function template's return type

[widman at gimpel dot com]

See below; G++ appears to correctly handle the use of 'struct B' to declare the
function template g(), but if there is no prior declaration of the class (as in
the declaration of f()), the class is erroneously taken as a class template.

extern "C" int printf( const char*, ... );

struct B{ int n; B(int n_) : n(n_){} };
template<class T> struct B g() // OK, g() returns B
    {
    return B(32);
    }

template<class T> struct A f(); // OK, f() returns A

struct A { char c; A(char c_) : c(c_){}};

template<class T> struct A f()
    {
    return A('x');
    }

int main(  )
    {
    (void) printf( "%d, %c\n", 
                   g<double>().n, 
                   f<float>().c ); // prints "32, x\n".
    return 0;
    }


-- 
           Summary: Non-template class function return type taken as
                    template when declared in a function template's return
                    type
           Product: gcc
           Version: 4.0.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: widman at gimpel dot com


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

[Bug c++/28044] Non-template class function return type taken as template when declared in a function template's return type

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2006-06-15 18:31 -------
This works correctly in 4.2.0.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |4.2.0


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

[Bug c++/28044] Non-template class function return type taken as template when declared in a function template's return type

[widman at gimpel dot com]

------- Comment #2 from widman at gimpel dot com  2006-06-15 18:51 -------
(In reply to comment #1)
> This works correctly in 4.2.0.
> 

Ok; should the fix be back-ported to earlier versions?  If not I guess this
should be a "WONTFIX".


-- 


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

[Bug c++/28044] Non-template class function return type taken as template when declared in a function template's return type

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2006-06-17 02:51 -------
Fixed in 4.1.0.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.1.0


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