This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
c++/1630: [temp.deduct.call] allows more lenient qualifcation convs
- To: gcc-gnats at gcc dot gnu dot org
- Subject: c++/1630: [temp.deduct.call] allows more lenient qualifcation convs
- From: nathan at codesourcery dot com
- Date: 12 Jan 2001 12:40:21 -0000
- Reply-To: nathan at codesourcery dot com
>Number: 1630
>Category: c++
>Synopsis: [temp.deduct.call] allows more lenient qualifcation convs
>Confidential: no
>Severity: serious
>Priority: high
>Responsible: unassigned
>State: open
>Class: accepts-illegal
>Submitter-Id: net
>Arrival-Date: Fri Jan 12 04:46:01 PST 2001
>Closed-Date:
>Last-Modified:
>Originator: Nathan
>Release: CVS 20010112
>Organization:
>Environment:
>Description:
Type deduction in a function call allows more lenient
conversions than conv.qual [4.4] allows. The attached
program instantiates Foo<int>, but then issues
an error about converting int ** to int const *.
The deduction should fail as that wasn't a qualification
conversion in the first place.
This is related to fixing bug 1617
I'm having a little difficulty coming up with a test case
where we actually accept the erroneous deduction, or issue
errors on different lines -- any suggestions welcome.
>How-To-Repeat:
>Fix:
>Release-Note:
>Audit-Trail:
>Unformatted:
----gnatsweb-attachment----
Content-Type: application/octet-stream; name="1617-b.ii"
Content-Transfer-Encoding: base64
Content-Disposition: attachment; filename="1617-b.ii"
CnRlbXBsYXRlIDx0eXBlbmFtZSBUPiB2b2lkIEZvbyAoVCBjb25zdCAqKik7Cgp2b2lkIGJheiAo
aW50ICoqcDEpCnsKICBGb28gKHAxKTsKfQo=