diff options
| author | Jason Merrill <jason@redhat.com> | 2011-09-26 11:47:17 -0400 |
|---|---|---|
| committer | Jason Merrill <jason@gcc.gnu.org> | 2011-09-26 11:47:17 -0400 |
| commit | 12b03642cb027437f4a0eddac8c7fd7849bfe149 (patch) | |
| tree | 54fc5444301c0263f867679f45d2739c6aea979b /gcc | |
| parent | fcb7afc20f55efe8d8df8cb95cc546eed2df12ac (diff) | |
| download | gcc-12b03642cb027437f4a0eddac8c7fd7849bfe149.zip gcc-12b03642cb027437f4a0eddac8c7fd7849bfe149.tar.gz gcc-12b03642cb027437f4a0eddac8c7fd7849bfe149.tar.bz2 | |
re PR c++/50523 (C++ FE apparently incorrectly rejects tramp3d)
PR c++/50523
* call.c (implicit_conversion): Mask out inappropriate LOOKUP
flags at the top of the function.
From-SVN: r179203
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/cp/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/cp/call.c | 10 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 3 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/overload/ref-conv2.C | 15 |
4 files changed, 29 insertions, 3 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 59b162d..865d764 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,5 +1,9 @@ 2011-09-26 Jason Merrill <jason@redhat.com> + PR c++/50523 + * call.c (implicit_conversion): Mask out inappropriate LOOKUP + flags at the top of the function. + * pt.c (tsubst_copy) [PARM_DECL]: Handle 'this' in NSDMI. 2011-09-26 Paolo Carlini <paolo.carlini@oracle.com> diff --git a/gcc/cp/call.c b/gcc/cp/call.c index 6a7dfd3..579e563 100644 --- a/gcc/cp/call.c +++ b/gcc/cp/call.c @@ -1660,6 +1660,12 @@ implicit_conversion (tree to, tree from, tree expr, bool c_cast_p, || expr == error_mark_node) return NULL; + /* Other flags only apply to the primary function in overload + resolution, or after we've chosen one. */ + flags &= (LOOKUP_ONLYCONVERTING|LOOKUP_NO_CONVERSION|LOOKUP_COPY_PARM + |LOOKUP_NO_TEMP_BIND|LOOKUP_NO_RVAL_BIND|LOOKUP_PREFER_RVALUE + |LOOKUP_NO_NARROWING|LOOKUP_PROTECT); + if (TREE_CODE (to) == REFERENCE_TYPE) conv = reference_binding (to, from, expr, c_cast_p, flags); else @@ -1716,15 +1722,13 @@ implicit_conversion (tree to, tree from, tree expr, bool c_cast_p, && (flags & LOOKUP_NO_CONVERSION) == 0) { struct z_candidate *cand; - int convflags = (flags & (LOOKUP_NO_TEMP_BIND|LOOKUP_ONLYCONVERTING - |LOOKUP_NO_NARROWING)); if (CLASS_TYPE_P (to) && BRACE_ENCLOSED_INITIALIZER_P (expr) && !CLASSTYPE_NON_AGGREGATE (complete_type (to))) return build_aggr_conv (to, expr, flags); - cand = build_user_type_conversion_1 (to, expr, convflags); + cand = build_user_type_conversion_1 (to, expr, flags); if (cand) conv = cand->second_conv; diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index e025019..500fbf5 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,8 @@ 2011-09-26 Jason Merrill <jason@redhat.com> + PR c++/50523 + * g++.dg/overload/ref-conv2.C: New. + * g++.dg/cpp0x/nsdmi-template1.C: New. 2011-09-26 Paolo Carlini <paolo.carlini@oracle.com> diff --git a/gcc/testsuite/g++.dg/overload/ref-conv2.C b/gcc/testsuite/g++.dg/overload/ref-conv2.C new file mode 100644 index 0000000..bb0ad39 --- /dev/null +++ b/gcc/testsuite/g++.dg/overload/ref-conv2.C @@ -0,0 +1,15 @@ +// PR c++/50523 + +template <class T> +struct A +{ + A(const T&); + operator T&() const; + operator const T&() const; +}; + +int main() +{ + A<int> a(1); + A<int> a2(a); +} |