From 2811f33dcda5d7206dd0443109e17b3981915dbf Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Wed, 7 Nov 2007 20:27:27 +0100 Subject: [PATCH] re PR c++/33501 (Copy constructor assumed to exist for undefined class) PR c++/33501 * call.c (build_over_call): Don't check TREE_ADDRESSABLE on incomplete type. * g++.dg/warn/incomplete2.C: New test. * g++.dg/template/incomplete4.C: New test. * g++.dg/template/incomplete5.C: New test. From-SVN: r129968 --- gcc/cp/ChangeLog | 6 ++++++ gcc/cp/call.c | 3 ++- gcc/testsuite/ChangeLog | 7 +++++++ gcc/testsuite/g++.dg/template/incomplete4.C | 16 ++++++++++++++++ gcc/testsuite/g++.dg/template/incomplete5.C | 17 +++++++++++++++++ gcc/testsuite/g++.dg/warn/incomplete2.C | 13 +++++++++++++ 6 files changed, 61 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/g++.dg/template/incomplete4.C create mode 100644 gcc/testsuite/g++.dg/template/incomplete5.C create mode 100644 gcc/testsuite/g++.dg/warn/incomplete2.C diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 96d2dd7..d62d29d 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2007-11-07 Jakub Jelinek + + PR c++/33501 + * call.c (build_over_call): Don't check TREE_ADDRESSABLE + on incomplete type. + 2007-11-06 Douglas Gregor PR c++/33977 diff --git a/gcc/cp/call.c b/gcc/cp/call.c index e9d3a94..50ff8b5 100644 --- a/gcc/cp/call.c +++ b/gcc/cp/call.c @@ -4993,7 +4993,8 @@ build_over_call (struct z_candidate *cand, int flags) /* Don't make a copy here if build_call is going to. */ if (conv->kind == ck_rvalue - && !TREE_ADDRESSABLE (complete_type (type))) + && COMPLETE_TYPE_P (complete_type (type)) + && !TREE_ADDRESSABLE (type)) conv = conv->u.next; val = convert_like_with_context diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 62d9b25..74a7e3b 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,10 @@ +2007-11-07 Jakub Jelinek + + PR c++/33501 + * g++.dg/warn/incomplete2.C: New test. + * g++.dg/template/incomplete4.C: New test. + * g++.dg/template/incomplete5.C: New test. + 2007-11-07 Olivier Hainque * gnat.dg/max_align.adb: New test. diff --git a/gcc/testsuite/g++.dg/template/incomplete4.C b/gcc/testsuite/g++.dg/template/incomplete4.C new file mode 100644 index 0000000..6129e0d --- /dev/null +++ b/gcc/testsuite/g++.dg/template/incomplete4.C @@ -0,0 +1,16 @@ +// PR c++/33501 +// { dg-do compile } + +class A; // { dg-error "forward declaration" } + +template struct X +{ + static int f (T); + static const T &make (); +}; + +int +main () +{ + return X::f (X::make ()); // { dg-error "invalid use of incomplete type|initializing argument" } +} diff --git a/gcc/testsuite/g++.dg/template/incomplete5.C b/gcc/testsuite/g++.dg/template/incomplete5.C new file mode 100644 index 0000000..9641003 --- /dev/null +++ b/gcc/testsuite/g++.dg/template/incomplete5.C @@ -0,0 +1,17 @@ +// PR c++/33501 +// { dg-do compile } + +class A; // { dg-error "forward declaration" } + +template struct X +{ + static int f (T); + static const T &make (); + static const bool value = sizeof (f (make ())) == sizeof (int); // { dg-error "invalid use of incomplete type|initializing argument" } +}; + +int +main () +{ + return X ::value; +} diff --git a/gcc/testsuite/g++.dg/warn/incomplete2.C b/gcc/testsuite/g++.dg/warn/incomplete2.C new file mode 100644 index 0000000..9fdfcba --- /dev/null +++ b/gcc/testsuite/g++.dg/warn/incomplete2.C @@ -0,0 +1,13 @@ +// PR c++/33501 +// { dg-do compile } + +class A; // { dg-error "forward declaration" } + +int f (A); +const A &make (); + +int +main () +{ + return f (make ()); // { dg-error "invalid use of incomplete type|initializing argument" } +} -- 2.7.4