Re: c++/6078: Template params in functions not picking up types correctly from arguments

Re: c++/6078: Template params in functions not picking up types correctly from arguments

[lerdsuwa]

Synopsis: Template params in functions not picking up types correctly from arguments

State-Changed-From-To: analyzed->closed
State-Changed-By: lerdsuwa
State-Changed-When: Sun Jul 28 03:51:08 2002
State-Changed-Why:
    Not a bug.  The displayed candidate cannot be used.
    You are initializing the type 'volatile int*&'
    with an lvalue returning from the function call ret_func()
    which is not allowed.  An lvalue can only initialize a 
    reference of non-volatile constant type (via a temporary 
    variable).  See Section 8.5.3 p4 in the standard for more
    details.

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

Re: c++/6078: Template params in functions not picking up types correctly from arguments

[lerdsuwa]

Synopsis: Template params in functions not picking up types correctly from arguments

State-Changed-From-To: open->analyzed
State-Changed-By: lerdsuwa
State-Changed-When: Tue Jul 23 08:16:17 2002
State-Changed-Why:
    Confirmed.

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

c++/6078: Template params in functions not picking up types correctly from arguments

[f_ker]

>Number:         6078
>Category:       c++
>Synopsis:       Template params in functions not picking up types correctly from arguments
>Confidential:   no
>Severity:       serious
>Priority:       high
>Responsible:    unassigned
>State:          open
>Class:          rejects-legal
>Submitter-Id:   net
>Arrival-Date:   Wed Mar 27 19:56:09 PST 2002
>Closed-Date:
>Last-Modified:
>Originator:     f_ker@yahoo.co.uk
>Release:        gcc 3.0.4
>Organization:
>Environment:
i686-pc-linux-gnu
>Description:
A function with templatised arguments, when called, should automatically resolve the template arguments from the arguments of the function call.  In this special case, it doesn't.

>How-To-Repeat:
volatile int*
ret_func()
{return (volatile int*)0xdeadbeef;}
template<unsigned i>
struct D
{
	template<typename T1, typename T2>
	void
	a_func(T1& t1, const T2& t2)
	{
		t1[i] = t2[i];
	}
};
int data[16];
int
main()
{
	D<0>::a_func(ret_func(), data);
}

This gives an error message that gives a candidate identical to the called function!

>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted: