diff options
| author | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-10-06 14:35:25 +0000 |
|---|---|---|
| committer | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-10-06 14:35:25 +0000 |
| commit | 22bdb2aa647815e47c5947168cf36862b5fc5b87 (patch) | |
| tree | 26a4afae364c992b478e346ca217b54552ba08ec | |
| parent | 13e140948339ad4bb2e4353c1d45102995191d75 (diff) | |
| download | ppe42-gcc-22bdb2aa647815e47c5947168cf36862b5fc5b87.tar.gz ppe42-gcc-22bdb2aa647815e47c5947168cf36862b5fc5b87.zip | |
PR c++/45908
* typeck.c (cp_build_addr_expr_1): Add check for incomplete types in
code folding offsetof-like computations.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165031 138bc75d-0d04-0410-961f-82ee72b054a4
| -rw-r--r-- | gcc/cp/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/cp/typeck.c | 1 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/cpp0x/pr45908.C | 18 |
4 files changed, 29 insertions, 0 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index e347e6df252..8143763a10a 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2010-10-06 Eric Botcazou <ebotcazou@adacore.com> + + PR c++/45908 + * typeck.c (cp_build_addr_expr_1): Add check for incomplete types in + code folding offsetof-like computations. + 2010-10-05 Nicola Pero <nicola.pero@meta-innovation.com> PR objc++/31125 diff --git a/gcc/cp/typeck.c b/gcc/cp/typeck.c index b2b8e5f5f78..ff5714ddb95 100644 --- a/gcc/cp/typeck.c +++ b/gcc/cp/typeck.c @@ -4947,6 +4947,7 @@ cp_build_addr_expr_1 (tree arg, bool strict_lvalue, tsubst_flags_t complain) && TREE_CODE (argtype) != METHOD_TYPE && argtype != unknown_type_node && (val = get_base_address (arg)) + && COMPLETE_TYPE_P (TREE_TYPE (val)) && TREE_CODE (val) == INDIRECT_REF && TREE_CONSTANT (TREE_OPERAND (val, 0))) { diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 8cab44c376f..187ba7e651d 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,9 @@ 2010-10-06 Eric Botcazou <ebotcazou@adacore.com> + * g++.dg/cpp0x/pr45908.C: New test. + +2010-10-06 Eric Botcazou <ebotcazou@adacore.com> + * gnat.dg/opt6.ad[sb]: New test. 2010-10-06 Nicola Pero <nicola.pero@meta-innovation.com> diff --git a/gcc/testsuite/g++.dg/cpp0x/pr45908.C b/gcc/testsuite/g++.dg/cpp0x/pr45908.C new file mode 100644 index 00000000000..1a821e5d83b --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp0x/pr45908.C @@ -0,0 +1,18 @@ +// PR c++/45908 +// Testcase by Jonathan Wakely <redi@gcc.gnu.org> + +// { dg-do compile } +// { dg-options "-std=c++0x" } + +struct vector { + struct iterator { }; + struct const_iterator { }; + iterator begin(); + const_iterator begin() const; +}; + +class block { + vector v; + auto end() const -> decltype(v.begin()) + { return v.begin(); } // { dg-error "conversion" } +}; |
