diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2008-01-22 18:03:12 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2008-01-22 18:03:12 +0100 |
| commit | 270e749db4e806317425bf51a774c87eae069057 (patch) | |
| tree | bdf1a2c50a6ec8b32870c8f61c89d45760a612c7 /gcc | |
| parent | 2ddd2871085a3bf35e2429390272301d8c6ab851 (diff) | |
| download | gcc-270e749db4e806317425bf51a774c87eae069057.zip gcc-270e749db4e806317425bf51a774c87eae069057.tar.gz gcc-270e749db4e806317425bf51a774c87eae069057.tar.bz2 | |
re PR c++/34914 (Member pointer to vector rejected)
PR c++/34914
* c-common.c (handle_vector_size_attribute): Only allow
integral, scalar float and fixed point types. Handle OFFSET_TYPE
the same way as pointer, array etc. types.
* tree.c (reconstruct_complex_type): Handle OFFSET_TYPE.
* g++.dg/ext/vector10.C: New test.
From-SVN: r131729
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/c-common.c | 9 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 3 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/ext/vector10.C | 11 | ||||
| -rw-r--r-- | gcc/tree.c | 5 |
5 files changed, 30 insertions, 4 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index a720103..a428833 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,11 @@ 2008-01-22 Jakub Jelinek <jakub@redhat.com> + PR c++/34914 + * c-common.c (handle_vector_size_attribute): Only allow + integral, scalar float and fixed point types. Handle OFFSET_TYPE + the same way as pointer, array etc. types. + * tree.c (reconstruct_complex_type): Handle OFFSET_TYPE. + PR c++/34917 * tree.c (build_type_attribute_qual_variant): Call build_qualified_type if attributes are equal, but quals are not. diff --git a/gcc/c-common.c b/gcc/c-common.c index 4e5d24c..1ba5c78 100644 --- a/gcc/c-common.c +++ b/gcc/c-common.c @@ -6031,15 +6031,16 @@ handle_vector_size_attribute (tree *node, tree name, tree args, while (POINTER_TYPE_P (type) || TREE_CODE (type) == FUNCTION_TYPE || TREE_CODE (type) == METHOD_TYPE - || TREE_CODE (type) == ARRAY_TYPE) + || TREE_CODE (type) == ARRAY_TYPE + || TREE_CODE (type) == OFFSET_TYPE) type = TREE_TYPE (type); /* Get the mode of the type being modified. */ orig_mode = TYPE_MODE (type); - if (TREE_CODE (type) == RECORD_TYPE - || TREE_CODE (type) == UNION_TYPE - || TREE_CODE (type) == VECTOR_TYPE + if ((!INTEGRAL_TYPE_P (type) + && !SCALAR_FLOAT_TYPE_P (type) + && !FIXED_POINT_TYPE_P (type)) || (!SCALAR_FLOAT_MODE_P (orig_mode) && GET_MODE_CLASS (orig_mode) != MODE_INT && !ALL_SCALAR_FIXED_POINT_MODE_P (orig_mode)) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 7447d47..aae550a 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,8 @@ 2008-01-22 Jakub Jelinek <jakub@redhat.com> + PR c++/34914 + * g++.dg/ext/vector10.C: New test. + PR c++/34918 * g++.dg/other/error23.C: New test. diff --git a/gcc/testsuite/g++.dg/ext/vector10.C b/gcc/testsuite/g++.dg/ext/vector10.C new file mode 100644 index 0000000..46ea244 --- /dev/null +++ b/gcc/testsuite/g++.dg/ext/vector10.C @@ -0,0 +1,11 @@ +// PR c++/34914 +// { dg-do compile } + +struct A { int __attribute ((vector_size (8))) x; }; + +void +foo () +{ + __attribute ((vector_size (8))) int A::*p; + p == 0; +} @@ -7631,6 +7631,11 @@ reconstruct_complex_type (tree type, tree bottom) inner, TREE_CHAIN (TYPE_ARG_TYPES (type))); } + else if (TREE_CODE (type) == OFFSET_TYPE) + { + inner = reconstruct_complex_type (TREE_TYPE (type), bottom); + outer = build_offset_type (TYPE_OFFSET_BASETYPE (type), inner); + } else return bottom; |