diff options
| author | Paolo Carlini <paolo.carlini@oracle.com> | 2018-02-01 15:36:04 +0000 |
|---|---|---|
| committer | Paolo Carlini <paolo@gcc.gnu.org> | 2018-02-01 15:36:04 +0000 |
| commit | 73b7d28f677d9bf4a4ab5ef1f69cf8282a28e377 (patch) | |
| tree | 08eaaa23e6345a60a44473b0b17f23ac9ad82e5b /gcc/cp | |
| parent | 3ae129323d150621d216fbbcdeebf033ef82416f (diff) | |
| download | gcc-73b7d28f677d9bf4a4ab5ef1f69cf8282a28e377.zip gcc-73b7d28f677d9bf4a4ab5ef1f69cf8282a28e377.tar.gz gcc-73b7d28f677d9bf4a4ab5ef1f69cf8282a28e377.tar.bz2 | |
re PR c++/83796 (Abstract classes allowed to be instantiated when initialised as default parameter to function or constructor)
/cp
2018-02-01 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/83796
* call.c (convert_like_real): If w're initializing from {} explicitly
call abstract_virtuals_error_sfinae.
/testsuite
2018-02-01 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/83796
* g++.dg/cpp0x/abstract-default1.C: New.
From-SVN: r257298
Diffstat (limited to 'gcc/cp')
| -rw-r--r-- | gcc/cp/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/cp/call.c | 2 |
2 files changed, 8 insertions, 0 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 6eb7f27..8fc9042 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2018-02-01 Paolo Carlini <paolo.carlini@oracle.com> + + PR c++/83796 + * call.c (convert_like_real): If w're initializing from {} explicitly + call abstract_virtuals_error_sfinae. + 2018-01-31 Jason Merrill <jason@redhat.com> Jakub Jelinek <jakub@redhat.com> diff --git a/gcc/cp/call.c b/gcc/cp/call.c index 46d5ef5..15b723a 100644 --- a/gcc/cp/call.c +++ b/gcc/cp/call.c @@ -6765,6 +6765,8 @@ convert_like_real (conversion *convs, tree expr, tree fn, int argnum, && TYPE_HAS_DEFAULT_CONSTRUCTOR (totype)) { bool direct = CONSTRUCTOR_IS_DIRECT_INIT (expr); + if (abstract_virtuals_error_sfinae (NULL_TREE, totype, complain)) + return error_mark_node; expr = build_value_init (totype, complain); expr = get_target_expr_sfinae (expr, complain); if (expr != error_mark_node) |