diff options
| author | Jason Merrill <jason@redhat.com> | 2018-01-26 15:47:32 -0500 |
|---|---|---|
| committer | Jason Merrill <jason@gcc.gnu.org> | 2018-01-26 15:47:32 -0500 |
| commit | 5bb1c2be88b8f99e050df8ec9052771b122b769f (patch) | |
| tree | 35108788c8a893b1a10902ad6cddbc1c02e047c8 /gcc/cp/method.c | |
| parent | f8862a1b2afad9d107ad505de2bf554705ebdb38 (diff) | |
| download | gcc-5bb1c2be88b8f99e050df8ec9052771b122b769f.zip gcc-5bb1c2be88b8f99e050df8ec9052771b122b769f.tar.gz gcc-5bb1c2be88b8f99e050df8ec9052771b122b769f.tar.bz2 | |
PR c++/83956 - wrong dtor error with anonymous union
* method.c (walk_field_subobs): Variant members only affect
deletedness.
(maybe_explain_implicit_delete): Pass &deleted_p for diagnostic.
From-SVN: r257107
Diffstat (limited to 'gcc/cp/method.c')
| -rw-r--r-- | gcc/cp/method.c | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/gcc/cp/method.c b/gcc/cp/method.c index 5bc830c..33029d7 100644 --- a/gcc/cp/method.c +++ b/gcc/cp/method.c @@ -1305,6 +1305,15 @@ walk_field_subobs (tree fields, tree fnname, special_function_kind sfk, || DECL_ARTIFICIAL (field)) continue; + /* Variant members only affect deletedness. In particular, they don't + affect the exception-specification of a user-provided destructor, + which we're figuring out via get_defaulted_eh_spec. So if we aren't + asking if this is deleted, don't even look up the function; we don't + want an error about a deleted function we aren't actually calling. */ + if (sfk == sfk_destructor && deleted_p == NULL + && TREE_CODE (DECL_CONTEXT (field)) == UNION_TYPE) + break; + mem_type = strip_array_types (TREE_TYPE (field)); if (assign_p) { @@ -1850,7 +1859,7 @@ maybe_explain_implicit_delete (tree decl) "%q#D is implicitly deleted because the default " "definition would be ill-formed:", decl); synthesized_method_walk (ctype, sfk, const_p, - NULL, NULL, NULL, NULL, true, + NULL, NULL, &deleted_p, NULL, true, &inh, parms); } else if (!comp_except_specs |