diff options
| author | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-12-18 07:52:07 +0000 |
|---|---|---|
| committer | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-12-18 07:52:07 +0000 |
| commit | 0a44dcad87293ec8c296d0bbcd80e3723c81c419 (patch) | |
| tree | 91fd1cf626b84fa232d2aee6cfc4d4636ae95b43 | |
| parent | 2882bf890ff5cba6e86afe9c10963644aff948fb (diff) | |
| download | ppe42-gcc-0a44dcad87293ec8c296d0bbcd80e3723c81c419.tar.gz ppe42-gcc-0a44dcad87293ec8c296d0bbcd80e3723c81c419.zip | |
PR middle-end/38505
* tree-ssa.c (useless_type_conversion_p_1): Return
false if inner_type is incomplete and outer_type is complete.
* gcc.c-torture/compile/pr38505.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@142806 138bc75d-0d04-0410-961f-82ee72b054a4
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/compile/pr38505.c | 23 | ||||
| -rw-r--r-- | gcc/tree-ssa.c | 5 |
4 files changed, 39 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index df3ced5215f..49176895d48 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2008-12-18 Jakub Jelinek <jakub@redhat.com> + + PR middle-end/38505 + * tree-ssa.c (useless_type_conversion_p_1): Return + false if inner_type is incomplete and outer_type is complete. + 2008-12-17 Sebastian Pop <sebastian.pop@amd.com> * doc/install.texi (Prerequisites): Document PPL and CLooG-PPL diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 11a6a709531..0bf69e2562b 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2008-12-18 Jakub Jelinek <jakub@redhat.com> + + PR middle-end/38505 + * gcc.c-torture/compile/pr38505.c: New test. + 2008-12-17 Jason Merrill <jason@redhat.com> * g++.dg/cpp0x/auto6.C: Test more stuff. diff --git a/gcc/testsuite/gcc.c-torture/compile/pr38505.c b/gcc/testsuite/gcc.c-torture/compile/pr38505.c new file mode 100644 index 00000000000..b3b4a10c773 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/pr38505.c @@ -0,0 +1,23 @@ +/* PR middle-end/38505 */ +/* { dg-do compile } */ + +struct S +{ + unsigned short a[50]; + unsigned short b[20]; +}; +extern void bar (struct S *); +extern void baz (unsigned short *); +extern unsigned short d[]; + +void +foo (void) +{ + struct S s; + unsigned short g[50]; + + baz (g); + __builtin_memcpy (&s, g, sizeof (g)); + __builtin_memcpy (s.b, d, sizeof (s.b)); + bar (&s); +} diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c index 935cad676c1..ce0f1e4ee67 100644 --- a/gcc/tree-ssa.c +++ b/gcc/tree-ssa.c @@ -1188,6 +1188,11 @@ useless_type_conversion_p_1 (tree outer_type, tree inner_type) if (TREE_CODE (inner_type) != TREE_CODE (outer_type)) return false; + /* Conversion from an incomplete to a complete type is never + useless. */ + if (!COMPLETE_TYPE_P (inner_type) && COMPLETE_TYPE_P (outer_type)) + return false; + /* ??? This seems to be necessary even for aggregates that don't have TYPE_STRUCTURAL_EQUALITY_P set. */ |
