diff --git a/gcc/ChangeLog b/gcc/ChangeLog index faed150ce01685326df16c8e8f6e6154b289316c..c255935a09334bf05c3eff016722febc2f6f10ea 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2010-03-19 Michael Matz <matz@suse.de> + + PR c++/43116 + * attribs.c (decl_attributes): When rebuilding a function pointer + type use the same qualifiers as the original pointer type. + 2010-03-19 Martin Jambor <mjambor@suse.cz> * doc/gimple.texi (Logical Operators): Describe is_gimple_ip_invariant diff --git a/gcc/attribs.c b/gcc/attribs.c index 9f2f50bdfd93a1c98272548c722700f47ab30c5a..9d76a0c30db068ed2eb05a1696c1fdb1b937eef6 100644 --- a/gcc/attribs.c +++ b/gcc/attribs.c @@ -286,6 +286,7 @@ decl_attributes (tree *node, tree attributes, int flags) tree *anode = node; const struct attribute_spec *spec = lookup_attribute_spec (name); bool no_add_attrs = 0; + int fn_ptr_quals = 0; tree fn_ptr_tmp = NULL_TREE; if (spec == NULL) @@ -353,6 +354,7 @@ decl_attributes (tree *node, tree attributes, int flags) This would all be simpler if attributes were part of the declarator, grumble grumble. */ fn_ptr_tmp = TREE_TYPE (*anode); + fn_ptr_quals = TYPE_QUALS (*anode); anode = &fn_ptr_tmp; flags &= ~(int) ATTR_FLAG_TYPE_IN_PLACE; } @@ -449,6 +451,8 @@ decl_attributes (tree *node, tree attributes, int flags) /* Rebuild the function pointer type and put it in the appropriate place. */ fn_ptr_tmp = build_pointer_type (fn_ptr_tmp); + if (fn_ptr_quals) + fn_ptr_tmp = build_qualified_type (fn_ptr_tmp, fn_ptr_quals); if (DECL_P (*node)) TREE_TYPE (*node) = fn_ptr_tmp; else diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 39705477a34d251f0395a2af273b1f079f225b40..758456ecc2342462731458dd2afae1417e194d22 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2010-03-19 Michael Matz <matz@suse.de> + + PR c++/43116 + * g++.dg/other/pr43116.C: New testcase. + 2010-03-19 Michael Matz <matz@suse.de> PR target/43305 diff --git a/gcc/testsuite/g++.dg/other/pr43116.C b/gcc/testsuite/g++.dg/other/pr43116.C new file mode 100644 index 0000000000000000000000000000000000000000..f0d9d01e4a86e61adf521998fef9214b3e131259 --- /dev/null +++ b/gcc/testsuite/g++.dg/other/pr43116.C @@ -0,0 +1,9 @@ +/* { dg-do compile } */ +extern "C" int rpl_open (const char *filename, int flags, ...) __attribute__ +((__nonnull__ (1))); + +namespace gnulib +{ + int (*const open) (const char *filename, int flags, ...) __attribute__ + ((__nonnull__ (1))) = rpl_open; +}