diff options
author | Jason Merrill <jason@redhat.com> | 2010-06-15 15:58:35 -0400 |
---|---|---|
committer | Jason Merrill <jason@gcc.gnu.org> | 2010-06-15 15:58:35 -0400 |
commit | 756bcf03e203d553ea99f834879407bf0585c90a (patch) | |
tree | bf98c80f24289e64526c4b763ea456d12819f22d /gcc/cp | |
parent | 6ab4e30772ed8513b2ae951524a554d2f05fcc15 (diff) | |
download | gcc-756bcf03e203d553ea99f834879407bf0585c90a.zip gcc-756bcf03e203d553ea99f834879407bf0585c90a.tar.gz gcc-756bcf03e203d553ea99f834879407bf0585c90a.tar.bz2 |
call.c (is_subseq): Handle ck_aggr, ck_list.
* call.c (is_subseq): Handle ck_aggr, ck_list.
(compare_ics): Treat an aggregate or ambiguous conversion to the
same type as involving the same function.
From-SVN: r160804
Diffstat (limited to 'gcc/cp')
-rw-r--r-- | gcc/cp/ChangeLog | 6 | ||||
-rw-r--r-- | gcc/cp/call.c | 20 |
2 files changed, 23 insertions, 3 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 092cf7f..7fc5210 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2010-06-15 Jason Merrill <jason@redhat.com> + + * call.c (is_subseq): Handle ck_aggr, ck_list. + (compare_ics): Treat an aggregate or ambiguous conversion to the + same type as involving the same function. + 2010-06-13 Shujing Zhao <pearly.zhao@oracle.com> * typeck.c (convert_for_assignment): Fix comment. Change message diff --git a/gcc/cp/call.c b/gcc/cp/call.c index f46fbf7..9ce1c53 100644 --- a/gcc/cp/call.c +++ b/gcc/cp/call.c @@ -6578,6 +6578,8 @@ is_subseq (conversion *ics1, conversion *ics2) if (ics2->kind == ck_user || ics2->kind == ck_ambig + || ics2->kind == ck_aggr + || ics2->kind == ck_list || ics2->kind == ck_identity) /* At this point, ICS1 cannot be a proper subsequence of ICS2. We can get a USER_CONV when we are comparing the @@ -6762,13 +6764,25 @@ compare_ics (conversion *ics1, conversion *ics2) for (t1 = ics1; t1->kind != ck_user; t1 = t1->u.next) if (t1->kind == ck_ambig || t1->kind == ck_aggr) - return 0; + break; for (t2 = ics2; t2->kind != ck_user; t2 = t2->u.next) if (t2->kind == ck_ambig || t2->kind == ck_aggr) - return 0; + break; - if (t1->cand->fn != t2->cand->fn) + if (t1->kind != t2->kind) return 0; + else if (t1->kind == ck_user) + { + if (t1->cand->fn != t2->cand->fn) + return 0; + } + else + { + /* For ambiguous or aggregate conversions, use the target type as + a proxy for the conversion function. */ + if (!same_type_ignoring_top_level_qualifiers_p (t1->type, t2->type)) + return 0; + } /* We can just fall through here, after setting up FROM_TYPE1 and FROM_TYPE2. */ |