public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/20723] New: [4.1 Regression] ICE in more_specialized_fn, more than one user-defined conversion "srp<int>" to "ptr<int>"
@ 2005-04-01 22:54 pinskia at gcc dot gnu dot org
2005-04-01 22:56 ` [Bug c++/20723] " pinskia at gcc dot gnu dot org
` (6 more replies)
0 siblings, 7 replies; 8+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-04-01 22:54 UTC (permalink / raw)
To: gcc-bugs
The following code now ICEs on the mainline:
template <typename T> class srp;
template <typename T> struct ptr
{
template <typename U> ptr(const srp<U> &other);
};
template <typename T> struct srp
{
template <typename U> operator ptr<U>(void) const;
};
ptr<int> parent_get()
{
srp<int> parent;
return parent;
}
Note we did reject this before even though it is invalid code.
--
Summary: [4.1 Regression] ICE in more_specialized_fn, more than
one user-defined conversion "srp<int>" to "ptr<int>"
Product: gcc
Version: 4.1.0
Status: UNCONFIRMED
Keywords: ice-on-invalid-code
Severity: normal
Priority: P2
Component: c++
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: pinskia at gcc dot gnu dot org
CC: gcc-bugs at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20723
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug c++/20723] [4.1 Regression] ICE in more_specialized_fn, more than one user-defined conversion "srp<int>" to "ptr<int>"
2005-04-01 22:54 [Bug c++/20723] New: [4.1 Regression] ICE in more_specialized_fn, more than one user-defined conversion "srp<int>" to "ptr<int>" pinskia at gcc dot gnu dot org
@ 2005-04-01 22:56 ` pinskia at gcc dot gnu dot org
2005-04-02 8:29 ` nathan at gcc dot gnu dot org
` (5 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-04-01 22:56 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-04-01 22:55 -------
I think the ICE was caused by:
2005-03-31 Nathan Sidwell <nathan@codesourcery.com>
PR c++/19203, implement DR 214
* call.c (joust): Use more_specialized_fn.
* cp-tree.h (DEDUCE_ORDER): Remove.
(more_specialized): Replace with ...
(more_specialized_fn): ... this.
* pt.c (maybe_adjust_types_for_deduction): Remove DEDUCE_ORDER
case.
(type_unification_real): Remove DEDUCE_ORDER case.
(more_specialized): Replace with ...
(more_specialized_fn): ... this. Implement DR 214.
(most_specialized_instantiation): Use get_bindings_real directly.
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |nathan at codesourcery dot
| |com
Target Milestone|--- |4.1.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20723
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug c++/20723] [4.1 Regression] ICE in more_specialized_fn, more than one user-defined conversion "srp<int>" to "ptr<int>"
2005-04-01 22:54 [Bug c++/20723] New: [4.1 Regression] ICE in more_specialized_fn, more than one user-defined conversion "srp<int>" to "ptr<int>" pinskia at gcc dot gnu dot org
2005-04-01 22:56 ` [Bug c++/20723] " pinskia at gcc dot gnu dot org
@ 2005-04-02 8:29 ` nathan at gcc dot gnu dot org
2005-04-02 9:55 ` nathan at gcc dot gnu dot org
` (4 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: nathan at gcc dot gnu dot org @ 2005-04-02 8:29 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |nathan at gcc dot gnu dot
|dot org |org
Status|UNCONFIRMED |ASSIGNED
Ever Confirmed| |1
Last reconfirmed|0000-00-00 00:00:00 |2005-04-02 08:28:50
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20723
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug c++/20723] [4.1 Regression] ICE in more_specialized_fn, more than one user-defined conversion "srp<int>" to "ptr<int>"
2005-04-01 22:54 [Bug c++/20723] New: [4.1 Regression] ICE in more_specialized_fn, more than one user-defined conversion "srp<int>" to "ptr<int>" pinskia at gcc dot gnu dot org
2005-04-01 22:56 ` [Bug c++/20723] " pinskia at gcc dot gnu dot org
2005-04-02 8:29 ` nathan at gcc dot gnu dot org
@ 2005-04-02 9:55 ` nathan at gcc dot gnu dot org
2005-04-02 14:35 ` pinskia at gcc dot gnu dot org
` (3 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: nathan at gcc dot gnu dot org @ 2005-04-02 9:55 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From nathan at gcc dot gnu dot org 2005-04-02 09:55 -------
I think you mean 'did NOT reject', we did reject with -pedantic, but without that
we have an overload extension rule about the worst conversion.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20723
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug c++/20723] [4.1 Regression] ICE in more_specialized_fn, more than one user-defined conversion "srp<int>" to "ptr<int>"
2005-04-01 22:54 [Bug c++/20723] New: [4.1 Regression] ICE in more_specialized_fn, more than one user-defined conversion "srp<int>" to "ptr<int>" pinskia at gcc dot gnu dot org
` (2 preceding siblings ...)
2005-04-02 9:55 ` nathan at gcc dot gnu dot org
@ 2005-04-02 14:35 ` pinskia at gcc dot gnu dot org
2005-04-03 12:32 ` nathan at gcc dot gnu dot org
` (2 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-04-02 14:35 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-04-02 14:34 -------
(In reply to comment #2)
> I think you mean 'did NOT reject', we did reject with -pedantic, but without that
> we have an overload extension rule about the worst conversion.
Yes I did mean, "we did not reject". Oh I did not even think about -pedantic for some reason.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20723
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug c++/20723] [4.1 Regression] ICE in more_specialized_fn, more than one user-defined conversion "srp<int>" to "ptr<int>"
2005-04-01 22:54 [Bug c++/20723] New: [4.1 Regression] ICE in more_specialized_fn, more than one user-defined conversion "srp<int>" to "ptr<int>" pinskia at gcc dot gnu dot org
` (3 preceding siblings ...)
2005-04-02 14:35 ` pinskia at gcc dot gnu dot org
@ 2005-04-03 12:32 ` nathan at gcc dot gnu dot org
2005-04-03 12:33 ` cvs-commit at gcc dot gnu dot org
2005-05-10 13:48 ` cvs-commit at gcc dot gnu dot org
6 siblings, 0 replies; 8+ messages in thread
From: nathan at gcc dot gnu dot org @ 2005-04-03 12:32 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From nathan at gcc dot gnu dot org 2005-04-03 12:32 -------
2005-04-03 Nathan Sidwell <nathan@codesourcery.com>
PR c++/20723
* pt.c (more_specialized_fn): Member functions are unordered wrt
non-members. Conversion operators are unordered wrt other
functions.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20723
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug c++/20723] [4.1 Regression] ICE in more_specialized_fn, more than one user-defined conversion "srp<int>" to "ptr<int>"
2005-04-01 22:54 [Bug c++/20723] New: [4.1 Regression] ICE in more_specialized_fn, more than one user-defined conversion "srp<int>" to "ptr<int>" pinskia at gcc dot gnu dot org
` (4 preceding siblings ...)
2005-04-03 12:32 ` nathan at gcc dot gnu dot org
@ 2005-04-03 12:33 ` cvs-commit at gcc dot gnu dot org
2005-05-10 13:48 ` cvs-commit at gcc dot gnu dot org
6 siblings, 0 replies; 8+ messages in thread
From: cvs-commit at gcc dot gnu dot org @ 2005-04-03 12:33 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From cvs-commit at gcc dot gnu dot org 2005-04-03 12:33 -------
Subject: Bug 20723
CVSROOT: /cvs/gcc
Module name: gcc
Changes by: nathan@gcc.gnu.org 2005-04-03 12:33:02
Modified files:
gcc/cp : ChangeLog pt.c
gcc/testsuite : ChangeLog
Added files:
gcc/testsuite/g++.dg/template: spec22.C spec23.C
Log message:
cp:
PR c++/20723
* pt.c (more_specialized_fn): Member functions are unordered wrt
non-members. Conversion operators are unordered wrt other
functions.
testsuite:
PR c++/20723
* g++.dg/template/spec22.C: New.
* g++.dg/template/spec23.C: New.
Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&r1=1.4683&r2=1.4684
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/pt.c.diff?cvsroot=gcc&r1=1.988&r2=1.989
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.5271&r2=1.5272
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/spec22.C.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/spec23.C.diff?cvsroot=gcc&r1=NONE&r2=1.1
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20723
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug c++/20723] [4.1 Regression] ICE in more_specialized_fn, more than one user-defined conversion "srp<int>" to "ptr<int>"
2005-04-01 22:54 [Bug c++/20723] New: [4.1 Regression] ICE in more_specialized_fn, more than one user-defined conversion "srp<int>" to "ptr<int>" pinskia at gcc dot gnu dot org
` (5 preceding siblings ...)
2005-04-03 12:33 ` cvs-commit at gcc dot gnu dot org
@ 2005-05-10 13:48 ` cvs-commit at gcc dot gnu dot org
6 siblings, 0 replies; 8+ messages in thread
From: cvs-commit at gcc dot gnu dot org @ 2005-05-10 13:48 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From cvs-commit at gcc dot gnu dot org 2005-05-10 13:48 -------
Subject: Bug 20723
CVSROOT: /cvs/gcc
Module name: gcc
Branch: gcc-4_0-branch
Changes by: nathan@gcc.gnu.org 2005-05-10 13:48:00
Modified files:
gcc/testsuite : ChangeLog
gcc/cp : ChangeLog call.c cp-tree.h pt.c
gcc/testsuite/g++.dg/parse: ambig3.C
Added files:
gcc/testsuite/g++.dg/template: spec20.C spec21.C spec22.C
spec23.C
Log message:
cp:
PR c++/20723
* pt.c (more_specialized_fn): Member functions are unordered wrt
non-members. Conversion operators are unordered wrt other
functions.
PR c++/19203, implement DR 214
* call.c (joust): Use more_specialized_fn.
* cp-tree.h (DEDUCE_ORDER): Remove.
(more_specialized): Replace with ...
(more_specialized_fn): ... this.
* pt.c (maybe_adjust_types_for_deduction): Remove DEDUCE_ORDER
case.
(type_unification_real): Remove DEDUCE_ORDER case.
(more_specialized): Replace with ...
(more_specialized_fn): ... this. Implement DR 214.
(most_specialized_instantiation): Use get_bindings_real directly.
testsuite:
PR c++/20723
* g++.dg/template/spec22.C: New.
* g++.dg/template/spec23.C: New.
PR c++/19203, DR 214
* g++.dg/parse/ambig3.C: Not ambiguous.
* g++.dg/template/spec20.C: New.
* g++.dg/template/spec21.C: New.
Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.5084.2.168&r2=1.5084.2.169
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.4648.2.38&r2=1.4648.2.39
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/call.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.531.2.1&r2=1.531.2.2
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/cp-tree.h.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.1106.2.4&r2=1.1106.2.5
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/pt.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.978.2.8&r2=1.978.2.9
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/parse/ambig3.C.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.1&r2=1.1.84.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/spec20.C.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.10.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/spec21.C.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.10.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/spec22.C.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.10.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/template/spec23.C.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.2.10.1
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20723
^ permalink raw reply [flat|nested] 8+ messages in thread
end of thread, other threads:[~2005-05-10 13:48 UTC | newest]
Thread overview: 8+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-04-01 22:54 [Bug c++/20723] New: [4.1 Regression] ICE in more_specialized_fn, more than one user-defined conversion "srp<int>" to "ptr<int>" pinskia at gcc dot gnu dot org
2005-04-01 22:56 ` [Bug c++/20723] " pinskia at gcc dot gnu dot org
2005-04-02 8:29 ` nathan at gcc dot gnu dot org
2005-04-02 9:55 ` nathan at gcc dot gnu dot org
2005-04-02 14:35 ` pinskia at gcc dot gnu dot org
2005-04-03 12:32 ` nathan at gcc dot gnu dot org
2005-04-03 12:33 ` cvs-commit at gcc dot gnu dot org
2005-05-10 13:48 ` cvs-commit at gcc dot gnu dot org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).