[Bug c++/45523] New: Failure to bind auto variable to function template instance

[Bug c++/45523] New: Failure to bind auto variable to function template instance

[jewillco at osl dot iu dot edu]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 957 bytes --]

The following code:

template <typename T> void foo();
void f() {auto g = foo<int>;}

fails to compile in GCC 4.5.0's C++0x mode with the following error:

foo.cpp: In function ‘void f()’:
foo.cpp:2:20: error: ‘g’ has incomplete type

Trying different variants of this code, it appears that GCC believes that
foo<int> is an ambiguous overloaded function, while there is only one matching
function.


-- 
           Summary: Failure to bind auto variable to function template
                    instance
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jewillco at osl dot iu dot edu
 GCC build triplet: x86_64-unknown-linux-gnu
  GCC host triplet: x86_64-unknown-linux-gnu
GCC target triplet: x86_64-unknown-linux-gnu


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

[Bug c++/45523] Failure to bind auto variable to function template instance

[jewillco at osl dot iu dot edu]

------- Comment #1 from jewillco at osl dot iu dot edu  2010-09-03 17:08 -------
Created an attachment (id=21686)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21686&action=view)
File containing test case in error report


-- 


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

[Bug c++/45523] [C++0x] Failure to bind auto variable to function template instance

[paolo dot carlini at oracle dot com]

------- Comment #2 from paolo dot carlini at oracle dot com  2010-09-03 17:10 -------
Let's add Jason in CC about this one too.


-- 

paolo dot carlini at oracle dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jason at gcc dot gnu dot org
            Summary|Failure to bind auto        |[C++0x] Failure to bind auto
                   |variable to function        |variable to function
                   |template instance           |template instance


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

[Bug c++/45523] [C++0x] Failure to bind auto variable to function template instance

[pinskia at gmail dot com]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1453 bytes --]



------- Comment #3 from pinskia at gmail dot com  2010-09-03 19:02 -------
Subject: Re:   New: Failure to bind auto variable to function template instance

I think there is a dup of this bug without auto. Not to mention it was  
defect report against the standard.

On Sep 3, 2010, at 10:07 AM, "jewillco at osl dot iu dot edu"
<gcc-bugzilla@gcc.gnu.org 
 > wrote:

> The following code:
>
> template <typename T> void foo();
> void f() {auto g = foo<int>;}
>
> fails to compile in GCC 4.5.0's C++0x mode with the following error:
>
> foo.cpp: In function ‘void f()’:
> foo.cpp:2:20: error: ‘g’ has incomplete type
>
> Trying different variants of this code, it appears that GCC believes  
> that
> foo<int> is an ambiguous overloaded function, while there is only  
> one matching
> function.
>
>
> -- 
>           Summary: Failure to bind auto variable to function template
>                    instance
>           Product: gcc
>           Version: 4.5.0
>            Status: UNCONFIRMED
>          Severity: normal
>          Priority: P3
>         Component: c++
>        AssignedTo: unassigned at gcc dot gnu dot org
>        ReportedBy: jewillco at osl dot iu dot edu
> GCC build triplet: x86_64-unknown-linux-gnu
>  GCC host triplet: x86_64-unknown-linux-gnu
> GCC target triplet: x86_64-unknown-linux-gnu
>
>
> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45523
>


-- 


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

Re: [Bug c++/45523] New: Failure to bind auto variable to function template instance

[Andrew Pinski]

I think there is a dup of this bug without auto. Not to mention it was  
defect report against the standard.

On Sep 3, 2010, at 10:07 AM, "jewillco at osl dot iu dot edu" <gcc-bugzilla@gcc.gnu.org 
 > wrote:

> The following code:
>
> template <typename T> void foo();
> void f() {auto g = foo<int>;}
>
> fails to compile in GCC 4.5.0's C++0x mode with the following error:
>
> foo.cpp: In function ‘void f()’:
> foo.cpp:2:20: error: ‘g’ has incomplete type
>
> Trying different variants of this code, it appears that GCC believes  
> that
> foo<int> is an ambiguous overloaded function, while there is only  
> one matching
> function.
>
>
> -- 
>           Summary: Failure to bind auto variable to function template
>                    instance
>           Product: gcc
>           Version: 4.5.0
>            Status: UNCONFIRMED
>          Severity: normal
>          Priority: P3
>         Component: c++
>        AssignedTo: unassigned at gcc dot gnu dot org
>        ReportedBy: jewillco at osl dot iu dot edu
> GCC build triplet: x86_64-unknown-linux-gnu
>  GCC host triplet: x86_64-unknown-linux-gnu
> GCC target triplet: x86_64-unknown-linux-gnu
>
>
> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45523
>

[Bug c++/45523] [C++0x] Failure to bind auto variable to function template instance

[jewillco at osl dot iu dot edu]

------- Comment #4 from jewillco at osl dot iu dot edu  2010-09-03 19:29 -------
One thing that I forgot to mention -- the Comeau online compiler accepts this
code without any errors (just a warning about "g" being unused).


-- 


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

[Bug c++/45523] [C++0x] Failure to bind auto variable to function template instance

[redi at gcc dot gnu dot org]

------- Comment #5 from redi at gcc dot gnu dot org  2010-09-07 02:16 -------
(In reply to comment #3)
> I think there is a dup of this bug without auto. Not to mention it was  
> defect report against the standard.

Bug 11407 / DR 115 ? That should be fixed in 4.5.0


-- 


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