diff options
author | Martin Sebor <msebor@redhat.com> | 2017-12-07 16:32:03 +0000 |
---|---|---|
committer | Martin Sebor <msebor@gcc.gnu.org> | 2017-12-07 09:32:03 -0700 |
commit | 5d9ae53d70c72991e26648d915e7fb8e00b8e811 (patch) | |
tree | a586e44e1f5c41fd8ae4cb8fd80446c763cc595d /gcc/ada/gcc-interface | |
parent | 1d8b0222b15f2188b659de4a731d8fd5ea23bed0 (diff) | |
download | gcc-5d9ae53d70c72991e26648d915e7fb8e00b8e811.zip gcc-5d9ae53d70c72991e26648d915e7fb8e00b8e811.tar.gz gcc-5d9ae53d70c72991e26648d915e7fb8e00b8e811.tar.bz2 |
PR c/81544 - attribute noreturn and warn_unused_result on the same function accepted
PR c/81544 - attribute noreturn and warn_unused_result on the same function accepted
PR c/81566 - invalid attribute aligned accepted on functions
gcc/ada/ChangeLog:
PR c/81544
* gcc-interface/utils.c (gnat_internal_attribute_table): Initialize
new member of struct attribute_spec.
gcc/c/ChangeLog:
PR c/81544
* c-decl.c (c_decl_attributes): Look up existing declaration and
pass it to decl_attributes.
gcc/c-family/ChangeLog:
PR c/81544
PR c/81566
* c-attribs.c (attr_aligned_exclusions): New array.
(attr_alloc_exclusions, attr_cold_hot_exclusions): Same.
(attr_common_exclusions, attr_const_pure_exclusions): Same.
(attr_gnu_inline_exclusions, attr_inline_exclusions): Same.
(attr_noreturn_exclusions, attr_returns_twice_exclusions): Same.
(attr_warn_unused_result_exclusions): Same.
(handle_hot_attribute, handle_cold_attribute): Simplify.
(handle_const_attribute): Warn on function returning void.
(handle_pure_attribute): Same.
(handle_aligned_attribute): Diagnose conflicting attribute
specifications.
* c-warn.c (diagnose_mismatched_attributes): Simplify.
gcc/cp/ChangeLog:
PR c/81544
* cp-tree.h (decls_match): Add default argument.
* decl.c (decls_match): Avoid calling into the target back end
and triggering an error.
* decl2.c (cplus_decl_attributes): Look up existing declaration and
pass it to decl_attributes.
* tree.c (cxx_attribute_table): Initialize new member of struct
attribute_spec.
gcc/fortran/ChangeLog:
PR c/81544
* f95-lang.c (gfc_attribute_table): Initialize new member of struct
attribute_spec.
gcc/lto/ChangeLog:
PR c/81544
* lto-lang.c (lto_attribute_table): Initialize new member of struct
attribute_spec.
gcc/ChangeLog:
PR c/81544
* attribs.c (empty_attribute_table): Initialize new member of
struct attribute_spec.
(decl_attributes): Add argument. Handle mutually exclusive
combinations of attributes.
(selftests::test_attribute_exclusions): New function.
(selftests::attribute_c_tests): Ditto.
* attribs.h (decl_attributes): Add default argument.
* selftest.h (attribute_c_tests): Declare.
* selftest-run-tests.c (selftest::run_tests): Call attribute_c_tests.
* tree-core.h (attribute_spec::exclusions, exclude): New type and
member.
* doc/extend.texi (Common Function Attributes): Update const and pure.
gcc/testsuite/ChangeLog:
PR c/81544
* c-c++-common/Wattributes-2.c: New test.
* c-c++-common/Wattributes.c: New test.
* c-c++-common/attributes-3.c: Adjust.
* gcc.dg/Wattributes-6.c: New test.
* gcc.dg/Wattributes-7.c: New test.
* gcc.dg/attr-noinline.c
* gcc.dg/pr44964.c: Same.
* gcc.dg/torture/pr42363.c: Same.
* gcc.dg/tree-ssa/ssa-ccp-2.c: Same.
From-SVN: r255469
Diffstat (limited to 'gcc/ada/gcc-interface')
-rw-r--r-- | gcc/ada/gcc-interface/utils.c | 40 |
1 files changed, 21 insertions, 19 deletions
diff --git a/gcc/ada/gcc-interface/utils.c b/gcc/ada/gcc-interface/utils.c index 2c80a61..ddeeb03 100644 --- a/gcc/ada/gcc-interface/utils.c +++ b/gcc/ada/gcc-interface/utils.c @@ -110,45 +110,47 @@ const struct attribute_spec gnat_internal_attribute_table[] = /* { name, min_len, max_len, decl_req, type_req, fn_type_req, handler, affects_type_identity } */ { "const", 0, 0, true, false, false, handle_const_attribute, - false }, + false, NULL }, { "nothrow", 0, 0, true, false, false, handle_nothrow_attribute, - false }, + false, NULL }, { "pure", 0, 0, true, false, false, handle_pure_attribute, - false }, + false, NULL }, { "no vops", 0, 0, true, false, false, handle_novops_attribute, - false }, + false, NULL }, { "nonnull", 0, -1, false, true, true, handle_nonnull_attribute, - false }, + false, NULL }, { "sentinel", 0, 1, false, true, true, handle_sentinel_attribute, - false }, + false, NULL }, { "noreturn", 0, 0, true, false, false, handle_noreturn_attribute, - false }, + false, NULL }, { "noinline", 0, 0, true, false, false, handle_noinline_attribute, - false }, + false, NULL }, { "noclone", 0, 0, true, false, false, handle_noclone_attribute, - false }, + false, NULL }, { "leaf", 0, 0, true, false, false, handle_leaf_attribute, - false }, + false, NULL }, { "always_inline",0, 0, true, false, false, handle_always_inline_attribute, - false }, + false, NULL }, { "malloc", 0, 0, true, false, false, handle_malloc_attribute, - false }, + false, NULL }, { "type generic", 0, 0, false, true, true, handle_type_generic_attribute, - false }, + false, NULL }, { "vector_size", 1, 1, false, true, false, handle_vector_size_attribute, - false }, + false, NULL }, { "vector_type", 0, 0, false, true, false, handle_vector_type_attribute, - false }, - { "may_alias", 0, 0, false, true, false, NULL, false }, + false, NULL }, + { "may_alias", 0, 0, false, true, false, NULL, false, NULL }, /* ??? format and format_arg are heavy and not supported, which actually prevents support for stdio builtins, which we however declare as part of the common builtins.def contents. */ - { "format", 3, 3, false, true, true, fake_attribute_handler, false }, - { "format_arg", 1, 1, false, true, true, fake_attribute_handler, false }, + { "format", 3, 3, false, true, true, fake_attribute_handler, false, + NULL }, + { "format_arg", 1, 1, false, true, true, fake_attribute_handler, false, + NULL }, - { NULL, 0, 0, false, false, false, NULL, false } + { NULL, 0, 0, false, false, false, NULL, false, NULL } }; /* Associates a GNAT tree node to a GCC tree node. It is used in |