diff options
author | Pierre-Emmanuel Patry <pierre-emmanuel.patry@embecosm.com> | 2023-09-01 13:14:09 +0200 |
---|---|---|
committer | Arthur Cohen <arthur.cohen@embecosm.com> | 2024-01-16 19:04:35 +0100 |
commit | fc024ea79deb5a9ec3cfd68b59719bef52db49ff (patch) | |
tree | 5f747b69d801d1f231bb391591ade781db3e7581 /gcc/rust/backend | |
parent | 1f09a4fedca20c0b9068d4c466b360b449af5d56 (diff) | |
download | gcc-fc024ea79deb5a9ec3cfd68b59719bef52db49ff.zip gcc-fc024ea79deb5a9ec3cfd68b59719bef52db49ff.tar.gz gcc-fc024ea79deb5a9ec3cfd68b59719bef52db49ff.tar.bz2 |
gccrs: Unify raw attribute values
Attribute values were used as raw string, this is error prone and
makes renaming harder. Using a constexpr instead will leverage the power
of the compiler and emit an error when an incorrect builtin attribute
value is used.
gcc/rust/ChangeLog:
* ast/rust-ast.cc (Attribute::check_cfg_predicate): Change raw
string to constexpr call.
(Attribute::separate_cfg_attrs): Likewise.
* backend/rust-compile-base.cc (should_mangle_item): Likewise.
(HIRCompileBase::setup_fndecl): Likewise.
(HIRCompileBase::handle_cold_attribute_on_fndecl): Likewise.
* checks/errors/privacy/rust-privacy-reporter.cc (find_proc_macro_attribute):
Likewise.
* checks/errors/rust-unsafe-checker.cc (check_target_attr):
Likewise.
* expand/rust-cfg-strip.cc (fails_cfg): Likewise.
(fails_cfg_with_expand): Likewise.
(expand_cfg_attrs): Likewise.
* expand/rust-macro-builtins.cc: Likewise.
* hir/rust-ast-lower-base.cc (ASTLoweringBase::handle_outer_attributes): Likewise.
(ASTLoweringBase::lower_macro_definition): Likewise.
* hir/rust-hir-dump.cc (Dump::visit): Likewise.
* parse/rust-parse-impl.h (Parser::parse_doc_comment): Likewise.
* parse/rust-parse.cc (extract_module_path): Likewise.
* resolve/rust-early-name-resolver.cc (is_macro_use_module):
Likewise.
(EarlyNameResolver::visit): Likewise.
* resolve/rust-toplevel-name-resolver-2.0.cc (is_macro_export):
Likwise.
* rust-session-manager.cc (Session::injection): Likewise.
* typecheck/rust-hir-type-check-base.cc (TypeCheckBase::parse_repr_options): Likewise.
* util/rust-attributes.cc (is_proc_macro_type): Likewise.
(AttributeChecker::check_attribute): Likewise.
(AttributeChecker::visit): Likewise.
* util/rust-hir-map.cc (Mappings::insert_macro_def): Likewise.
* util/rust-attribute-values.h: New file.
Signed-off-by: Pierre-Emmanuel Patry <pierre-emmanuel.patry@embecosm.com>
Diffstat (limited to 'gcc/rust/backend')
-rw-r--r-- | gcc/rust/backend/rust-compile-base.cc | 28 |
1 files changed, 17 insertions, 11 deletions
diff --git a/gcc/rust/backend/rust-compile-base.cc b/gcc/rust/backend/rust-compile-base.cc index 492588d..c11b6cc 100644 --- a/gcc/rust/backend/rust-compile-base.cc +++ b/gcc/rust/backend/rust-compile-base.cc @@ -30,6 +30,7 @@ #include "rust-hir-path-probe.h" #include "rust-type-util.h" #include "rust-compile-implitem.h" +#include "rust-attribute-values.h" #include "fold-const.h" #include "stringpool.h" @@ -42,7 +43,9 @@ namespace Compile { bool inline should_mangle_item (const tree fndecl) { - return lookup_attribute ("no_mangle", DECL_ATTRIBUTES (fndecl)) == NULL_TREE; + return lookup_attribute (Values::Attributes::NO_MANGLE, + DECL_ATTRIBUTES (fndecl)) + == NULL_TREE; } void @@ -69,15 +72,17 @@ HIRCompileBase::setup_fndecl (tree fndecl, bool is_main_entry_point, // is it inline? for (const auto &attr : attrs) { - bool is_inline = attr.get_path ().as_string ().compare ("inline") == 0; + bool is_inline + = attr.get_path ().as_string () == Values::Attributes::INLINE; bool is_must_use - = attr.get_path ().as_string ().compare ("must_use") == 0; - bool is_cold = attr.get_path ().as_string ().compare ("cold") == 0; + = attr.get_path ().as_string () == Values::Attributes::MUST_USE; + bool is_cold = attr.get_path ().as_string () == Values::Attributes::COLD; bool is_link_section - = attr.get_path ().as_string ().compare ("link_section") == 0; - bool no_mangle = attr.get_path ().as_string ().compare ("no_mangle") == 0; + = attr.get_path ().as_string () == Values::Attributes::LINK_SECTION; + bool no_mangle + = attr.get_path ().as_string () == Values::Attributes::NO_MANGLE; bool is_deprecated - = attr.get_path ().as_string ().compare ("deprecated") == 0; + = attr.get_path ().as_string () == Values::Attributes::DEPRECATED; if (is_inline) { @@ -113,7 +118,7 @@ HIRCompileBase::handle_cold_attribute_on_fndecl (tree fndecl, // simple #[cold] if (!attr.has_attr_input ()) { - tree cold = get_identifier ("cold"); + tree cold = get_identifier (Values::Attributes::COLD); // this will get handled by the GCC backend later DECL_ATTRIBUTES (fndecl) = tree_cons (cold, NULL_TREE, DECL_ATTRIBUTES (fndecl)); @@ -160,8 +165,9 @@ HIRCompileBase::handle_no_mangle_attribute_on_fndecl ( return; } - DECL_ATTRIBUTES (fndecl) = tree_cons (get_identifier ("no_mangle"), NULL_TREE, - DECL_ATTRIBUTES (fndecl)); + DECL_ATTRIBUTES (fndecl) + = tree_cons (get_identifier (Values::Attributes::NO_MANGLE), NULL_TREE, + DECL_ATTRIBUTES (fndecl)); } void @@ -223,7 +229,7 @@ HIRCompileBase::handle_deprecated_attribute_on_fndecl ( { tree attr_list = build_tree_list (NULL_TREE, value); DECL_ATTRIBUTES (fndecl) - = tree_cons (get_identifier ("deprecated"), attr_list, + = tree_cons (get_identifier (Values::Attributes::DEPRECATED), attr_list, DECL_ATTRIBUTES (fndecl)); } } |