diff options
| author | Pierre-Emmanuel Patry <pierre-emmanuel.patry@embecosm.com> | 2024-05-21 10:58:55 +0200 |
|---|---|---|
| committer | P-E-P <32375388+P-E-P@users.noreply.github.com> | 2024-06-12 09:56:01 +0000 |
| commit | bd97356fbbbf889b049b25775b98dcace2d84885 (patch) | |
| tree | 2b28572309f13ccbfe3679a95f6b50b84a40b31b | |
| parent | ef8821745ee8755e948a2bce906c58216a6d6188 (diff) | |
| download | gcc-bd97356fbbbf889b049b25775b98dcace2d84885.zip gcc-bd97356fbbbf889b049b25775b98dcace2d84885.tar.gz gcc-bd97356fbbbf889b049b25775b98dcace2d84885.tar.bz2 | |
Add raw_ref_op feature gate
Raw ref operators are still experimental and shall not slip within
stable rust, they should therefore be feature gated.
gcc/rust/ChangeLog:
* checks/errors/rust-feature-gate.cc (FeatureGate::visit): Gate raw
borrow.
* checks/errors/rust-feature-gate.h: Update function prototype.
* checks/errors/rust-feature.cc: Add raw_ref_op gate.
* checks/errors/rust-feature.h: Likewise.
Signed-off-by: Pierre-Emmanuel Patry <pierre-emmanuel.patry@embecosm.com>
| -rw-r--r-- | gcc/rust/checks/errors/rust-feature-gate.cc | 8 | ||||
| -rw-r--r-- | gcc/rust/checks/errors/rust-feature-gate.h | 2 | ||||
| -rw-r--r-- | gcc/rust/checks/errors/rust-feature.cc | 4 | ||||
| -rw-r--r-- | gcc/rust/checks/errors/rust-feature.h | 1 |
4 files changed, 14 insertions, 1 deletions
diff --git a/gcc/rust/checks/errors/rust-feature-gate.cc b/gcc/rust/checks/errors/rust-feature-gate.cc index 847122f..d5b7063 100644 --- a/gcc/rust/checks/errors/rust-feature-gate.cc +++ b/gcc/rust/checks/errors/rust-feature-gate.cc @@ -201,4 +201,12 @@ FeatureGate::visit (AST::TypeParam ¶m) AST::DefaultASTVisitor::visit (param); } +void +FeatureGate::visit (AST::BorrowExpr &expr) +{ + if (expr.is_raw_borrow ()) + gate (Feature::Name::RAW_REF_OP, expr.get_locus (), + "raw address of syntax is experimental"); +} + } // namespace Rust diff --git a/gcc/rust/checks/errors/rust-feature-gate.h b/gcc/rust/checks/errors/rust-feature-gate.h index 5801c0d..0d53b40 100644 --- a/gcc/rust/checks/errors/rust-feature-gate.h +++ b/gcc/rust/checks/errors/rust-feature-gate.h @@ -54,7 +54,7 @@ public: void visit (AST::AttrInputMacro &attr_input) override {} void visit (AST::MetaItemLitExpr &meta_item) override {} void visit (AST::MetaItemPathLit &meta_item) override {} - void visit (AST::BorrowExpr &expr) override {} + void visit (AST::BorrowExpr &expr) override; void visit (AST::DereferenceExpr &expr) override {} void visit (AST::ErrorPropagationExpr &expr) override {} void visit (AST::NegationExpr &expr) override {} diff --git a/gcc/rust/checks/errors/rust-feature.cc b/gcc/rust/checks/errors/rust-feature.cc index 0af3209..cb2b42c 100644 --- a/gcc/rust/checks/errors/rust-feature.cc +++ b/gcc/rust/checks/errors/rust-feature.cc @@ -51,6 +51,9 @@ Feature::create (Feature::Name name) case Feature::Name::DROPCK_EYEPATCH: return Feature (Feature::Name::DROPCK_EYEPATCH, Feature::State::ACTIVE, "dropck_eyepatch", "1.10.0", 34761, tl::nullopt, ""); + case Feature::Name::RAW_REF_OP: + return Feature (Feature::Name::RAW_REF_OP, Feature::State::ACTIVE, + "raw_ref_op", "1.41.0", 64490, tl::nullopt, ""); default: rust_unreachable (); } @@ -70,6 +73,7 @@ const std::map<std::string, Feature::Name> Feature::name_hash_map = { {"no_core", Feature::Name::NO_CORE}, {"box_syntax", Feature::Name::BOX_SYNTAX}, {"dropck_eyepatch", Feature::Name::DROPCK_EYEPATCH}, + {"raw_ref_op", Feature::Name::RAW_REF_OP}, }; // namespace Rust tl::optional<Feature::Name> diff --git a/gcc/rust/checks/errors/rust-feature.h b/gcc/rust/checks/errors/rust-feature.h index abb8c55..5a18199 100644 --- a/gcc/rust/checks/errors/rust-feature.h +++ b/gcc/rust/checks/errors/rust-feature.h @@ -48,6 +48,7 @@ public: NO_CORE, BOX_SYNTAX, DROPCK_EYEPATCH, + RAW_REF_OP, }; const std::string &as_string () { return m_name_str; } |