diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2007-11-07 20:27:27 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2007-11-07 20:27:27 +0100 |
| commit | 2811f33dcda5d7206dd0443109e17b3981915dbf (patch) | |
| tree | 9fdb602cae0616c569c1ffb48632bcdec5790758 | |
| parent | 5cd537421efdf71458cd1ff72968a9c41eb35b22 (diff) | |
| download | gcc-2811f33dcda5d7206dd0443109e17b3981915dbf.zip gcc-2811f33dcda5d7206dd0443109e17b3981915dbf.tar.gz gcc-2811f33dcda5d7206dd0443109e17b3981915dbf.tar.bz2 | |
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
| -rw-r--r-- | gcc/cp/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/cp/call.c | 3 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/template/incomplete4.C | 16 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/template/incomplete5.C | 17 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/warn/incomplete2.C | 13 |
6 files changed, 61 insertions, 1 deletions
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 <jakub@redhat.com> + + PR c++/33501 + * call.c (build_over_call): Don't check TREE_ADDRESSABLE + on incomplete type. + 2007-11-06 Douglas Gregor <doug.gregor@gmail.com> 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 <jakub@redhat.com> + + 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 <hainque@adacore.com> * 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 <typename T> struct X +{ + static int f (T); + static const T &make (); +}; + +int +main () +{ + return X<A>::f (X<A>::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 <typename T> 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 <A>::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" } +} |