Skip to content
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Commit 5754051

Browse files
authoredFeb 13, 2025
Rollup merge of #134090 - veluca93:stable-tf11, r=oli-obk
Stabilize target_feature_11 # Stabilization report This is an updated version of #116114, which is itself a redo of #99767. Most of this commit and report were copied from those PRs. Thanks ```@LeSeulArtichaut``` and ```@calebzulawski!``` ## Summary Allows for safe functions to be marked with `#[target_feature]` attributes. Functions marked with `#[target_feature]` are generally considered as unsafe functions: they are unsafe to call, cannot *generally* be assigned to safe function pointers, and don't implement the `Fn*` traits. However, calling them from other `#[target_feature]` functions with a superset of features is safe. ```rust // Demonstration function #[target_feature(enable = "avx2")] fn avx2() {} fn foo() { // Calling `avx2` here is unsafe, as we must ensure // that AVX is available first. unsafe { avx2(); } } #[target_feature(enable = "avx2")] fn bar() { // Calling `avx2` here is safe. avx2(); } ``` Moreover, once #135504 is merged, they can be converted to safe function pointers in a context in which calling them is safe: ```rust // Demonstration function #[target_feature(enable = "avx2")] fn avx2() {} fn foo() -> fn() { // Converting `avx2` to fn() is a compilation error here. avx2 } #[target_feature(enable = "avx2")] fn bar() -> fn() { // `avx2` coerces to fn() here avx2 } ``` See the section "Closures" below for justification of this behaviour. ## Test cases Tests for this feature can be found in [`tests/ui/target_feature/`](https://github.com/rust-lang/rust/tree/f6cb952dc115fd1311b02b694933e31d8dc8b002/tests/ui/target-feature). ## Edge cases ### Closures * [target-feature 1.1: should closures inherit target-feature annotations? #73631](#73631) Closures defined inside functions marked with #[target_feature] inherit the target features of their parent function. They can still be assigned to safe function pointers and implement the appropriate `Fn*` traits. ```rust #[target_feature(enable = "avx2")] fn qux() { let my_closure = || avx2(); // this call to `avx2` is safe let f: fn() = my_closure; } ``` This means that in order to call a function with #[target_feature], you must guarantee that the target-feature is available while the function, any closures defined inside it, as well as any safe function pointers obtained from target-feature functions inside it, execute. This is usually ensured because target features are assumed to never disappear, and: - on any unsafe call to a `#[target_feature]` function, presence of the target feature is guaranteed by the programmer through the safety requirements of the unsafe call. - on any safe call, this is guaranteed recursively by the caller. If you work in an environment where target features can be disabled, it is your responsibility to ensure that no code inside a target feature function (including inside a closure) runs after this (until the feature is enabled again). **Note:** this has an effect on existing code, as nowadays closures do not inherit features from the enclosing function, and thus this strengthens a safety requirement. It was originally proposed in #73631 to solve this by adding a new type of UB: “taking a target feature away from your process after having run code that uses that target feature is UB” . This was motivated by userspace code already assuming in a few places that CPU features never disappear from a program during execution (see i.e. https://github.com/rust-lang/stdarch/blob/2e29bdf90832931ea499755bb4ad7a6b0809295a/crates/std_detect/src/detect/arch/x86.rs); however, concerns were raised in the context of the Linux kernel; thus, we propose to relax that requirement to "causing the set of usable features to be reduced is unsafe; when doing so, the programmer is required to ensure that no closures or safe fn pointers that use removed features are still in scope". * [Fix #[inline(always)] on closures with target feature 1.1 #111836](#111836) Closures accept `#[inline(always)]`, even within functions marked with `#[target_feature]`. Since these attributes conflict, `#[inline(always)]` wins out to maintain compatibility. ### ABI concerns * [The extern "C" ABI of SIMD vector types depends on target features #116558](#116558) The ABI of some types can change when compiling a function with different target features. This could have introduced unsoundness with target_feature_11, but recent fixes (#133102, #132173) either make those situations invalid or make the ABI no longer dependent on features. Thus, those issues should no longer occur. ### Special functions The `#[target_feature]` attribute is forbidden from a variety of special functions, such as main, current and future lang items (e.g. `#[start]`, `#[panic_handler]`), safe default trait implementations and safe trait methods. This was not disallowed at the time of the first stabilization PR for target_features_11, and resulted in the following issues/PRs: * [`#[target_feature]` is allowed on `main` #108645](#108645) * [`#[target_feature]` is allowed on default implementations #108646](#108646) * [#[target_feature] is allowed on #[panic_handler] with target_feature 1.1 #109411](#109411) * [Prevent using `#[target_feature]` on lang item functions #115910](#115910) ## Documentation * Reference: [Document the `target_feature_11` feature reference#1181](rust-lang/reference#1181) --- cc tracking issue #69098 cc ```@workingjubilee``` cc ```@RalfJung``` r? ```@rust-lang/lang```
2 parents ef148cd + 44b2e6c commit 5754051

34 files changed

+77
-165
lines changed
 

‎compiler/rustc_codegen_ssa/src/codegen_attrs.rs

Lines changed: 8 additions & 19 deletions
Original file line numberDiff line numberDiff line change
@@ -272,10 +272,9 @@ fn codegen_fn_attrs(tcx: TyCtxt<'_>, did: LocalDefId) -> CodegenFnAttrs {
272272
if safe_target_features {
273273
if tcx.sess.target.is_like_wasm || tcx.sess.opts.actually_rustdoc {
274274
// The `#[target_feature]` attribute is allowed on
275-
// WebAssembly targets on all functions, including safe
276-
// ones. Other targets require that `#[target_feature]` is
277-
// only applied to unsafe functions (pending the
278-
// `target_feature_11` feature) because on most targets
275+
// WebAssembly targets on all functions. Prior to stabilizing
276+
// the `target_feature_11` feature, `#[target_feature]` was
277+
// only permitted on unsafe functions because on most targets
279278
// execution of instructions that are not supported is
280279
// considered undefined behavior. For WebAssembly which is a
281280
// 100% safe target at execution time it's not possible to
@@ -289,17 +288,10 @@ fn codegen_fn_attrs(tcx: TyCtxt<'_>, did: LocalDefId) -> CodegenFnAttrs {
289288
// if a target is documenting some wasm-specific code then
290289
// it's not spuriously denied.
291290
//
292-
// This exception needs to be kept in sync with allowing
293-
// `#[target_feature]` on `main` and `start`.
294-
} else if !tcx.features().target_feature_11() {
295-
feature_err(
296-
&tcx.sess,
297-
sym::target_feature_11,
298-
attr.span,
299-
"`#[target_feature(..)]` can only be applied to `unsafe` functions",
300-
)
301-
.with_span_label(tcx.def_span(did), "not an `unsafe` function")
302-
.emit();
291+
// Now that `#[target_feature]` is permitted on safe functions,
292+
// this exception must still exist for allowing the attribute on
293+
// `main`, `start`, and other functions that are not usually
294+
// allowed.
303295
} else {
304296
check_target_feature_trait_unsafe(tcx, did, attr.span);
305297
}
@@ -628,10 +620,7 @@ fn codegen_fn_attrs(tcx: TyCtxt<'_>, did: LocalDefId) -> CodegenFnAttrs {
628620
// its parent function, which effectively inherits the features anyway. Boxing this closure
629621
// would result in this closure being compiled without the inherited target features, but this
630622
// is probably a poor usage of `#[inline(always)]` and easily avoided by not using the attribute.
631-
if tcx.features().target_feature_11()
632-
&& tcx.is_closure_like(did.to_def_id())
633-
&& !codegen_fn_attrs.inline.always()
634-
{
623+
if tcx.is_closure_like(did.to_def_id()) && codegen_fn_attrs.inline != InlineAttr::Always {
635624
let owner_id = tcx.parent(did.to_def_id());
636625
if tcx.def_kind(owner_id).has_codegen_attrs() {
637626
codegen_fn_attrs

‎compiler/rustc_feature/src/accepted.rs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -386,6 +386,8 @@ declare_features! (
386386
(accepted, struct_variant, "1.0.0", None),
387387
/// Allows `#[target_feature(...)]`.
388388
(accepted, target_feature, "1.27.0", None),
389+
/// Allows the use of `#[target_feature]` on safe functions.
390+
(accepted, target_feature_11, "CURRENT_RUSTC_VERSION", Some(69098)),
389391
/// Allows `fn main()` with return types which implements `Termination` (RFC 1937).
390392
(accepted, termination_trait, "1.26.0", Some(43301)),
391393
/// Allows `#[test]` functions where the return type implements `Termination` (RFC 1937).

‎compiler/rustc_feature/src/unstable.rs

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -633,8 +633,6 @@ declare_features! (
633633
(unstable, strict_provenance_lints, "1.61.0", Some(130351)),
634634
/// Allows string patterns to dereference values to match them.
635635
(unstable, string_deref_patterns, "1.67.0", Some(87121)),
636-
/// Allows the use of `#[target_feature]` on safe functions.
637-
(unstable, target_feature_11, "1.45.0", Some(69098)),
638636
/// Allows using `#[thread_local]` on `static` items.
639637
(unstable, thread_local, "1.0.0", Some(29594)),
640638
/// Allows defining `trait X = A + B;` alias items.

‎library/core/src/lib.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -192,7 +192,6 @@
192192
#![feature(staged_api)]
193193
#![feature(stmt_expr_attributes)]
194194
#![feature(strict_provenance_lints)]
195-
#![feature(target_feature_11)]
196195
#![feature(trait_alias)]
197196
#![feature(transparent_unions)]
198197
#![feature(try_blocks)]

‎tests/assembly/closure-inherit-target-feature.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,6 @@
44
// make sure the feature is not enabled at compile-time
55
//@ compile-flags: -C opt-level=3 -C target-feature=-sse4.1 -C llvm-args=-x86-asm-syntax=intel
66

7-
#![feature(target_feature_11)]
87
#![crate_type = "rlib"]
98

109
use std::arch::x86_64::{__m128, _mm_blend_ps};

‎tests/codegen/target-feature-inline-closure.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,6 @@
33
//@ compile-flags: -Copt-level=3 -Ctarget-cpu=x86-64
44

55
#![crate_type = "lib"]
6-
#![feature(target_feature_11)]
76

87
#[cfg(target_arch = "x86_64")]
98
use std::arch::x86_64::*;

‎tests/mir-opt/inline/inline_compatibility.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,6 @@
44

55
#![crate_type = "lib"]
66
#![feature(no_sanitize)]
7-
#![feature(target_feature_11)]
87
#![feature(c_variadic)]
98

109
#[inline]

‎tests/ui/asm/x86_64/issue-89875.rs

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,6 @@
22
//@ needs-asm-support
33
//@ only-x86_64
44

5-
#![feature(target_feature_11)]
6-
75
use std::arch::asm;
86

97
#[target_feature(enable = "avx")]

‎tests/ui/async-await/async-closures/fn-exception-target-features.rs

Lines changed: 4 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,13 @@
11
//@ edition: 2021
22
//@ only-x86_64
33

4-
#![feature(target_feature_11)]
5-
// `target_feature_11` just to test safe functions w/ target features.
6-
7-
use std::pin::Pin;
84
use std::future::Future;
5+
use std::pin::Pin;
96

107
#[target_feature(enable = "sse2")]
11-
fn target_feature() -> Pin<Box<dyn Future<Output = ()> + 'static>> { todo!() }
8+
fn target_feature() -> Pin<Box<dyn Future<Output = ()> + 'static>> {
9+
todo!()
10+
}
1211

1312
fn test(f: impl AsyncFn()) {}
1413

‎tests/ui/async-await/async-closures/fn-exception-target-features.stderr

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
error[E0277]: the trait bound `#[target_features] fn() -> Pin<Box<(dyn Future<Output = ()> + 'static)>> {target_feature}: AsyncFn()` is not satisfied
2-
--> $DIR/fn-exception-target-features.rs:16:10
2+
--> $DIR/fn-exception-target-features.rs:15:10
33
|
44
LL | test(target_feature);
55
| ---- ^^^^^^^^^^^^^^ unsatisfied trait bound
@@ -8,7 +8,7 @@ LL | test(target_feature);
88
|
99
= help: the trait `AsyncFn()` is not implemented for fn item `#[target_features] fn() -> Pin<Box<(dyn Future<Output = ()> + 'static)>> {target_feature}`
1010
note: required by a bound in `test`
11-
--> $DIR/fn-exception-target-features.rs:13:17
11+
--> $DIR/fn-exception-target-features.rs:12:17
1212
|
1313
LL | fn test(f: impl AsyncFn()) {}
1414
| ^^^^^^^^^ required by this bound in `test`

‎tests/ui/lang-items/start_lang_item_with_target_feature.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
//@ only-x86_64
22
//@ check-fail
33

4-
#![feature(lang_items, no_core, target_feature_11)]
4+
#![feature(lang_items, no_core)]
55
#![no_core]
66

77
#[lang = "copy"]

‎tests/ui/panic-handler/panic-handler-with-target-feature.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11
//@ compile-flags:-C panic=abort
22
//@ only-x86_64
33

4-
#![feature(target_feature_11)]
54
#![no_std]
65
#![no_main]
76

‎tests/ui/panic-handler/panic-handler-with-target-feature.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
error: `#[panic_handler]` function is not allowed to have `#[target_feature]`
2-
--> $DIR/panic-handler-with-target-feature.rs:11:1
2+
--> $DIR/panic-handler-with-target-feature.rs:10:1
33
|
44
LL | #[target_feature(enable = "avx2")]
55
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

‎tests/ui/rfcs/rfc-2396-target_feature-11/check-pass.rs

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99
//@ check-pass
1010
//@ only-x86_64
1111

12-
#![feature(target_feature_11)]
13-
1412
#[target_feature(enable = "sse2")]
1513
const fn sse2() {}
1614

‎tests/ui/rfcs/rfc-2396-target_feature-11/closures-inherit-target_feature.rs

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,6 @@
33
//@ check-pass
44
//@ only-x86_64
55

6-
#![feature(target_feature_11)]
7-
86
#[target_feature(enable = "avx")]
97
fn also_use_avx() {
108
println!("Hello from AVX")

‎tests/ui/rfcs/rfc-2396-target_feature-11/feature-gate-target_feature_11.rs

Lines changed: 0 additions & 6 deletions
This file was deleted.

‎tests/ui/rfcs/rfc-2396-target_feature-11/feature-gate-target_feature_11.stderr

Lines changed: 0 additions & 15 deletions
This file was deleted.

‎tests/ui/rfcs/rfc-2396-target_feature-11/fn-ptr.rs

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,5 @@
11
//@ only-x86_64
22

3-
#![feature(target_feature_11)]
4-
53
#[target_feature(enable = "avx")]
64
fn foo_avx() {}
75

‎tests/ui/rfcs/rfc-2396-target_feature-11/fn-ptr.stderr

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
error[E0308]: mismatched types
2-
--> $DIR/fn-ptr.rs:14:21
2+
--> $DIR/fn-ptr.rs:12:21
33
|
44
LL | #[target_feature(enable = "avx")]
55
| --------------------------------- `#[target_feature]` added here
@@ -14,7 +14,7 @@ LL | let foo: fn() = foo_avx;
1414
= note: functions with `#[target_feature]` can only be coerced to `unsafe` function pointers
1515

1616
error[E0308]: mismatched types
17-
--> $DIR/fn-ptr.rs:23:21
17+
--> $DIR/fn-ptr.rs:21:21
1818
|
1919
LL | #[target_feature(enable = "sse2")]
2020
| ---------------------------------- `#[target_feature]` added here

‎tests/ui/rfcs/rfc-2396-target_feature-11/fn-traits.rs

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,5 @@
11
//@ only-x86_64
22

3-
#![feature(target_feature_11)]
4-
53
#[target_feature(enable = "avx")]
64
fn foo() {}
75

‎tests/ui/rfcs/rfc-2396-target_feature-11/fn-traits.stderr

Lines changed: 14 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
error[E0277]: expected a `Fn()` closure, found `#[target_features] fn() {foo}`
2-
--> $DIR/fn-traits.rs:31:10
2+
--> $DIR/fn-traits.rs:29:10
33
|
44
LL | call(foo);
55
| ---- ^^^ expected an `Fn()` closure, found `#[target_features] fn() {foo}`
@@ -11,13 +11,13 @@ LL | call(foo);
1111
= note: `#[target_feature]` functions do not implement the `Fn` traits
1212
= note: try casting the function to a `fn` pointer or wrapping it in a closure
1313
note: required by a bound in `call`
14-
--> $DIR/fn-traits.rs:14:17
14+
--> $DIR/fn-traits.rs:12:17
1515
|
1616
LL | fn call(f: impl Fn()) {
1717
| ^^^^ required by this bound in `call`
1818

1919
error[E0277]: expected a `FnMut()` closure, found `#[target_features] fn() {foo}`
20-
--> $DIR/fn-traits.rs:32:14
20+
--> $DIR/fn-traits.rs:30:14
2121
|
2222
LL | call_mut(foo);
2323
| -------- ^^^ expected an `FnMut()` closure, found `#[target_features] fn() {foo}`
@@ -29,13 +29,13 @@ LL | call_mut(foo);
2929
= note: `#[target_feature]` functions do not implement the `Fn` traits
3030
= note: try casting the function to a `fn` pointer or wrapping it in a closure
3131
note: required by a bound in `call_mut`
32-
--> $DIR/fn-traits.rs:18:25
32+
--> $DIR/fn-traits.rs:16:25
3333
|
3434
LL | fn call_mut(mut f: impl FnMut()) {
3535
| ^^^^^^^ required by this bound in `call_mut`
3636

3737
error[E0277]: expected a `FnOnce()` closure, found `#[target_features] fn() {foo}`
38-
--> $DIR/fn-traits.rs:33:15
38+
--> $DIR/fn-traits.rs:31:15
3939
|
4040
LL | call_once(foo);
4141
| --------- ^^^ expected an `FnOnce()` closure, found `#[target_features] fn() {foo}`
@@ -47,13 +47,13 @@ LL | call_once(foo);
4747
= note: `#[target_feature]` functions do not implement the `Fn` traits
4848
= note: try casting the function to a `fn` pointer or wrapping it in a closure
4949
note: required by a bound in `call_once`
50-
--> $DIR/fn-traits.rs:22:22
50+
--> $DIR/fn-traits.rs:20:22
5151
|
5252
LL | fn call_once(f: impl FnOnce()) {
5353
| ^^^^^^^^ required by this bound in `call_once`
5454

5555
error[E0277]: expected a `FnOnce(i32)` closure, found `#[target_features] fn(i32) {bar}`
56-
--> $DIR/fn-traits.rs:34:19
56+
--> $DIR/fn-traits.rs:32:19
5757
|
5858
LL | call_once_i32(bar);
5959
| ------------- ^^^ expected an `FnOnce(i32)` closure, found `#[target_features] fn(i32) {bar}`
@@ -64,13 +64,13 @@ LL | call_once_i32(bar);
6464
= note: `#[target_feature]` functions do not implement the `Fn` traits
6565
= note: try casting the function to a `fn` pointer or wrapping it in a closure
6666
note: required by a bound in `call_once_i32`
67-
--> $DIR/fn-traits.rs:26:26
67+
--> $DIR/fn-traits.rs:24:26
6868
|
6969
LL | fn call_once_i32(f: impl FnOnce(i32)) {
7070
| ^^^^^^^^^^^ required by this bound in `call_once_i32`
7171

7272
error[E0277]: expected a `Fn()` closure, found `unsafe fn() {foo_unsafe}`
73-
--> $DIR/fn-traits.rs:36:10
73+
--> $DIR/fn-traits.rs:34:10
7474
|
7575
LL | call(foo_unsafe);
7676
| ---- ^^^^^^^^^^ call the function in a closure: `|| unsafe { /* code */ }`
@@ -83,13 +83,13 @@ LL | call(foo_unsafe);
8383
= note: `#[target_feature]` functions do not implement the `Fn` traits
8484
= note: try casting the function to a `fn` pointer or wrapping it in a closure
8585
note: required by a bound in `call`
86-
--> $DIR/fn-traits.rs:14:17
86+
--> $DIR/fn-traits.rs:12:17
8787
|
8888
LL | fn call(f: impl Fn()) {
8989
| ^^^^ required by this bound in `call`
9090

9191
error[E0277]: expected a `FnMut()` closure, found `unsafe fn() {foo_unsafe}`
92-
--> $DIR/fn-traits.rs:38:14
92+
--> $DIR/fn-traits.rs:36:14
9393
|
9494
LL | call_mut(foo_unsafe);
9595
| -------- ^^^^^^^^^^ call the function in a closure: `|| unsafe { /* code */ }`
@@ -102,13 +102,13 @@ LL | call_mut(foo_unsafe);
102102
= note: `#[target_feature]` functions do not implement the `Fn` traits
103103
= note: try casting the function to a `fn` pointer or wrapping it in a closure
104104
note: required by a bound in `call_mut`
105-
--> $DIR/fn-traits.rs:18:25
105+
--> $DIR/fn-traits.rs:16:25
106106
|
107107
LL | fn call_mut(mut f: impl FnMut()) {
108108
| ^^^^^^^ required by this bound in `call_mut`
109109

110110
error[E0277]: expected a `FnOnce()` closure, found `unsafe fn() {foo_unsafe}`
111-
--> $DIR/fn-traits.rs:40:15
111+
--> $DIR/fn-traits.rs:38:15
112112
|
113113
LL | call_once(foo_unsafe);
114114
| --------- ^^^^^^^^^^ call the function in a closure: `|| unsafe { /* code */ }`
@@ -121,7 +121,7 @@ LL | call_once(foo_unsafe);
121121
= note: `#[target_feature]` functions do not implement the `Fn` traits
122122
= note: try casting the function to a `fn` pointer or wrapping it in a closure
123123
note: required by a bound in `call_once`
124-
--> $DIR/fn-traits.rs:22:22
124+
--> $DIR/fn-traits.rs:20:22
125125
|
126126
LL | fn call_once(f: impl FnOnce()) {
127127
| ^^^^^^^^ required by this bound in `call_once`
Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,5 @@
11
//@ only-x86_64
22

3-
#![feature(target_feature_11)]
4-
53
#[target_feature(enable = "avx2")]
64
fn main() {}
75
//~^ ERROR `main` function is not allowed to have `#[target_feature]`

‎tests/ui/rfcs/rfc-2396-target_feature-11/issue-108645-target-feature-on-main.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
error: `main` function is not allowed to have `#[target_feature]`
2-
--> $DIR/issue-108645-target-feature-on-main.rs:6:1
2+
--> $DIR/issue-108645-target-feature-on-main.rs:4:1
33
|
44
LL | fn main() {}
55
| ^^^^^^^^^ `main` function is not allowed to have `#[target_feature]`

‎tests/ui/rfcs/rfc-2396-target_feature-11/issue-108655-inline-always-closure.rs

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,6 @@
33
//@ check-pass
44
//@ only-x86_64
55

6-
#![feature(target_feature_11)]
7-
86
#[target_feature(enable = "avx")]
97
pub unsafe fn test() {
108
({

‎tests/ui/rfcs/rfc-2396-target_feature-11/issue-99876.rs

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,5 @@
11
//@ check-pass
22

3-
#![feature(target_feature_11)]
4-
53
struct S<T>(T)
64
where
75
[T; (|| {}, 1).1]: Copy;

‎tests/ui/rfcs/rfc-2396-target_feature-11/return-fn-ptr.rs

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,6 @@
11
//@ only-x86_64
22
//@ run-pass
33

4-
#![feature(target_feature_11)]
5-
64
#[target_feature(enable = "sse2")]
75
fn foo() -> bool {
86
true

‎tests/ui/rfcs/rfc-2396-target_feature-11/safe-calls.rs

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,6 @@
22
// Set the base cpu explicitly, in case the default has been changed.
33
//@ compile-flags: -C target-cpu=x86-64
44

5-
#![feature(target_feature_11)]
6-
75
#[target_feature(enable = "sse2")]
86
const fn sse2() {}
97

‎tests/ui/rfcs/rfc-2396-target_feature-11/safe-calls.stderr

Lines changed: 12 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
error[E0133]: call to function `sse2` with `#[target_feature]` is unsafe and requires unsafe function or block
2-
--> $DIR/safe-calls.rs:27:5
2+
--> $DIR/safe-calls.rs:25:5
33
|
44
LL | sse2();
55
| ^^^^^^ call to function with `#[target_feature]`
@@ -8,55 +8,55 @@ LL | sse2();
88
= note: the sse2 target feature being enabled in the build configuration does not remove the requirement to list it in `#[target_feature]`
99

1010
error[E0133]: call to function `avx_bmi2` with `#[target_feature]` is unsafe and requires unsafe function or block
11-
--> $DIR/safe-calls.rs:29:5
11+
--> $DIR/safe-calls.rs:27:5
1212
|
1313
LL | avx_bmi2();
1414
| ^^^^^^^^^^ call to function with `#[target_feature]`
1515
|
1616
= help: in order for the call to be safe, the context requires the following additional target features: avx and bmi2
1717

1818
error[E0133]: call to function `Quux::avx_bmi2` with `#[target_feature]` is unsafe and requires unsafe function or block
19-
--> $DIR/safe-calls.rs:31:5
19+
--> $DIR/safe-calls.rs:29:5
2020
|
2121
LL | Quux.avx_bmi2();
2222
| ^^^^^^^^^^^^^^^ call to function with `#[target_feature]`
2323
|
2424
= help: in order for the call to be safe, the context requires the following additional target features: avx and bmi2
2525

2626
error[E0133]: call to function `avx_bmi2` with `#[target_feature]` is unsafe and requires unsafe function or block
27-
--> $DIR/safe-calls.rs:38:5
27+
--> $DIR/safe-calls.rs:36:5
2828
|
2929
LL | avx_bmi2();
3030
| ^^^^^^^^^^ call to function with `#[target_feature]`
3131
|
3232
= help: in order for the call to be safe, the context requires the following additional target features: avx and bmi2
3333

3434
error[E0133]: call to function `Quux::avx_bmi2` with `#[target_feature]` is unsafe and requires unsafe function or block
35-
--> $DIR/safe-calls.rs:40:5
35+
--> $DIR/safe-calls.rs:38:5
3636
|
3737
LL | Quux.avx_bmi2();
3838
| ^^^^^^^^^^^^^^^ call to function with `#[target_feature]`
3939
|
4040
= help: in order for the call to be safe, the context requires the following additional target features: avx and bmi2
4141

4242
error[E0133]: call to function `avx_bmi2` with `#[target_feature]` is unsafe and requires unsafe function or block
43-
--> $DIR/safe-calls.rs:47:5
43+
--> $DIR/safe-calls.rs:45:5
4444
|
4545
LL | avx_bmi2();
4646
| ^^^^^^^^^^ call to function with `#[target_feature]`
4747
|
4848
= help: in order for the call to be safe, the context requires the following additional target feature: bmi2
4949

5050
error[E0133]: call to function `Quux::avx_bmi2` with `#[target_feature]` is unsafe and requires unsafe function or block
51-
--> $DIR/safe-calls.rs:49:5
51+
--> $DIR/safe-calls.rs:47:5
5252
|
5353
LL | Quux.avx_bmi2();
5454
| ^^^^^^^^^^^^^^^ call to function with `#[target_feature]`
5555
|
5656
= help: in order for the call to be safe, the context requires the following additional target feature: bmi2
5757

5858
error[E0133]: call to function `sse2` with `#[target_feature]` is unsafe and requires unsafe function or block
59-
--> $DIR/safe-calls.rs:61:15
59+
--> $DIR/safe-calls.rs:59:15
6060
|
6161
LL | const _: () = sse2();
6262
| ^^^^^^ call to function with `#[target_feature]`
@@ -65,7 +65,7 @@ LL | const _: () = sse2();
6565
= note: the sse2 target feature being enabled in the build configuration does not remove the requirement to list it in `#[target_feature]`
6666

6767
error[E0133]: call to function `sse2_and_fxsr` with `#[target_feature]` is unsafe and requires unsafe function or block
68-
--> $DIR/safe-calls.rs:64:15
68+
--> $DIR/safe-calls.rs:62:15
6969
|
7070
LL | const _: () = sse2_and_fxsr();
7171
| ^^^^^^^^^^^^^^^ call to function with `#[target_feature]`
@@ -74,7 +74,7 @@ LL | const _: () = sse2_and_fxsr();
7474
= note: the fxsr and sse2 target features being enabled in the build configuration does not remove the requirement to list them in `#[target_feature]`
7575

7676
error[E0133]: call to function `sse2` with `#[target_feature]` is unsafe and requires unsafe block
77-
--> $DIR/safe-calls.rs:69:5
77+
--> $DIR/safe-calls.rs:67:5
7878
|
7979
LL | sse2();
8080
| ^^^^^^ call to function with `#[target_feature]`
@@ -83,12 +83,12 @@ LL | sse2();
8383
= help: in order for the call to be safe, the context requires the following additional target feature: sse2
8484
= note: the sse2 target feature being enabled in the build configuration does not remove the requirement to list it in `#[target_feature]`
8585
note: an unsafe function restricts its caller, but its body is safe by default
86-
--> $DIR/safe-calls.rs:68:1
86+
--> $DIR/safe-calls.rs:66:1
8787
|
8888
LL | unsafe fn needs_unsafe_block() {
8989
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
9090
note: the lint level is defined here
91-
--> $DIR/safe-calls.rs:67:8
91+
--> $DIR/safe-calls.rs:65:8
9292
|
9393
LL | #[deny(unsafe_op_in_unsafe_fn)]
9494
| ^^^^^^^^^^^^^^^^^^^^^^

‎tests/ui/rfcs/rfc-2396-target_feature-11/trait-impl.rs

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,5 @@
11
//@ only-x86_64
22

3-
#![feature(target_feature_11)]
4-
53
trait Foo {
64
fn foo(&self);
75
unsafe fn unsf_foo(&self);

‎tests/ui/rfcs/rfc-2396-target_feature-11/trait-impl.stderr

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
error: `#[target_feature(..)]` cannot be applied to safe trait method
2-
--> $DIR/trait-impl.rs:13:5
2+
--> $DIR/trait-impl.rs:11:5
33
|
44
LL | #[target_feature(enable = "sse2")]
55
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot be applied to safe trait method
@@ -8,21 +8,21 @@ LL | fn foo(&self) {}
88
| ------------- not an `unsafe` function
99

1010
error[E0053]: method `foo` has an incompatible type for trait
11-
--> $DIR/trait-impl.rs:15:5
11+
--> $DIR/trait-impl.rs:13:5
1212
|
1313
LL | fn foo(&self) {}
1414
| ^^^^^^^^^^^^^ expected safe fn, found unsafe fn
1515
|
1616
note: type in trait
17-
--> $DIR/trait-impl.rs:6:5
17+
--> $DIR/trait-impl.rs:4:5
1818
|
1919
LL | fn foo(&self);
2020
| ^^^^^^^^^^^^^^
2121
= note: expected signature `fn(&Bar)`
2222
found signature `#[target_features] fn(&Bar)`
2323

2424
error: `#[target_feature(..)]` cannot be applied to safe trait method
25-
--> $DIR/trait-impl.rs:23:5
25+
--> $DIR/trait-impl.rs:21:5
2626
|
2727
LL | #[target_feature(enable = "sse2")]
2828
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot be applied to safe trait method

‎tests/ui/simd-abi-checks.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44

55
#![feature(avx512_target_feature)]
66
#![feature(portable_simd)]
7-
#![feature(target_feature_11, simd_ffi)]
7+
#![feature(simd_ffi)]
88
#![allow(improper_ctypes_definitions)]
99

1010
use std::arch::x86_64::*;

‎tests/ui/target-feature/implied-features.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,5 @@
11
//@ only-x86_64
22
//@ build-pass
3-
#![feature(target_feature_11)]
43
#![allow(dead_code)]
54

65
#[target_feature(enable = "ssse3")]

‎tests/ui/target-feature/invalid-attribute.rs

Lines changed: 4 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -28,13 +28,6 @@ extern "Rust" {}
2828
//~^ ERROR malformed `target_feature` attribute
2929
unsafe fn foo() {}
3030

31-
#[target_feature(enable = "sse2")]
32-
//~^ ERROR `#[target_feature(..)]` can only be applied to `unsafe` functions
33-
//~| NOTE see issue #69098
34-
//~| NOTE: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
35-
fn bar() {}
36-
//~^ NOTE not an `unsafe` function
37-
3831
#[target_feature(enable = "sse2")]
3932
//~^ ERROR attribute should be applied to a function
4033
mod another {}
@@ -58,7 +51,7 @@ enum Bar {}
5851
#[target_feature(enable = "sse2")]
5952
//~^ ERROR attribute should be applied to a function
6053
union Qux {
61-
//~^ NOTE not a function
54+
//~^ NOTE not a function
6255
f1: u16,
6356
f2: u16,
6457
}
@@ -102,9 +95,8 @@ trait Quux {
10295

10396
impl Quux for Foo {
10497
#[target_feature(enable = "sse2")]
105-
//~^ ERROR `#[target_feature(..)]` can only be applied to `unsafe` functions
106-
//~| NOTE see issue #69098
107-
//~| NOTE: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
98+
//~^ ERROR `#[target_feature(..)]` cannot be applied to safe trait method
99+
//~| NOTE cannot be applied to safe trait method
108100
fn foo() {}
109101
//~^ NOTE not an `unsafe` function
110102
//~| ERROR: incompatible type for trait
@@ -117,9 +109,8 @@ fn main() {
117109
//~^ ERROR attribute should be applied to a function
118110
unsafe {
119111
foo();
120-
bar();
121112
}
122-
//~^^^^ NOTE not a function
113+
//~^^^ NOTE not a function
123114

124115
#[target_feature(enable = "sse2")]
125116
//~^ ERROR attribute should be applied to a function

‎tests/ui/target-feature/invalid-attribute.stderr

Lines changed: 21 additions & 39 deletions
Original file line numberDiff line numberDiff line change
@@ -32,7 +32,7 @@ LL | extern "Rust" {}
3232
| ---------------- not a function definition
3333

3434
error: attribute should be applied to a function definition
35-
--> $DIR/invalid-attribute.rs:38:1
35+
--> $DIR/invalid-attribute.rs:31:1
3636
|
3737
LL | #[target_feature(enable = "sse2")]
3838
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
@@ -41,7 +41,7 @@ LL | mod another {}
4141
| -------------- not a function definition
4242

4343
error: attribute should be applied to a function definition
44-
--> $DIR/invalid-attribute.rs:43:1
44+
--> $DIR/invalid-attribute.rs:36:1
4545
|
4646
LL | #[target_feature(enable = "sse2")]
4747
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
@@ -50,7 +50,7 @@ LL | const FOO: usize = 7;
5050
| --------------------- not a function definition
5151

5252
error: attribute should be applied to a function definition
53-
--> $DIR/invalid-attribute.rs:48:1
53+
--> $DIR/invalid-attribute.rs:41:1
5454
|
5555
LL | #[target_feature(enable = "sse2")]
5656
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
@@ -59,7 +59,7 @@ LL | struct Foo;
5959
| ----------- not a function definition
6060

6161
error: attribute should be applied to a function definition
62-
--> $DIR/invalid-attribute.rs:53:1
62+
--> $DIR/invalid-attribute.rs:46:1
6363
|
6464
LL | #[target_feature(enable = "sse2")]
6565
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
@@ -68,7 +68,7 @@ LL | enum Bar {}
6868
| ----------- not a function definition
6969

7070
error: attribute should be applied to a function definition
71-
--> $DIR/invalid-attribute.rs:58:1
71+
--> $DIR/invalid-attribute.rs:51:1
7272
|
7373
LL | #[target_feature(enable = "sse2")]
7474
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
@@ -81,7 +81,7 @@ LL | | }
8181
| |_- not a function definition
8282

8383
error: attribute should be applied to a function definition
84-
--> $DIR/invalid-attribute.rs:66:1
84+
--> $DIR/invalid-attribute.rs:59:1
8585
|
8686
LL | #[target_feature(enable = "sse2")]
8787
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
@@ -90,7 +90,7 @@ LL | type Uwu = ();
9090
| -------------- not a function definition
9191

9292
error: attribute should be applied to a function definition
93-
--> $DIR/invalid-attribute.rs:71:1
93+
--> $DIR/invalid-attribute.rs:64:1
9494
|
9595
LL | #[target_feature(enable = "sse2")]
9696
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
@@ -99,7 +99,7 @@ LL | trait Baz {}
9999
| ------------ not a function definition
100100

101101
error: attribute should be applied to a function definition
102-
--> $DIR/invalid-attribute.rs:81:1
102+
--> $DIR/invalid-attribute.rs:74:1
103103
|
104104
LL | #[target_feature(enable = "sse2")]
105105
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
@@ -108,7 +108,7 @@ LL | static A: () = ();
108108
| ------------------ not a function definition
109109

110110
error: attribute should be applied to a function definition
111-
--> $DIR/invalid-attribute.rs:86:1
111+
--> $DIR/invalid-attribute.rs:79:1
112112
|
113113
LL | #[target_feature(enable = "sse2")]
114114
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
@@ -117,7 +117,7 @@ LL | impl Quux for u8 {}
117117
| ------------------- not a function definition
118118

119119
error: attribute should be applied to a function definition
120-
--> $DIR/invalid-attribute.rs:93:1
120+
--> $DIR/invalid-attribute.rs:86:1
121121
|
122122
LL | #[target_feature(enable = "sse2")]
123123
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
@@ -126,19 +126,18 @@ LL | impl Foo {}
126126
| ----------- not a function definition
127127

128128
error: attribute should be applied to a function definition
129-
--> $DIR/invalid-attribute.rs:116:5
129+
--> $DIR/invalid-attribute.rs:108:5
130130
|
131131
LL | #[target_feature(enable = "sse2")]
132132
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
133133
LL |
134134
LL | / unsafe {
135135
LL | | foo();
136-
LL | | bar();
137136
LL | | }
138137
| |_____- not a function definition
139138

140139
error: attribute should be applied to a function definition
141-
--> $DIR/invalid-attribute.rs:124:5
140+
--> $DIR/invalid-attribute.rs:115:5
142141
|
143142
LL | #[target_feature(enable = "sse2")]
144143
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
@@ -164,62 +163,45 @@ error: malformed `target_feature` attribute input
164163
LL | #[target_feature(disable = "baz")]
165164
| ^^^^^^^^^^^^^^^ help: must be of the form: `enable = ".."`
166165

167-
error[E0658]: `#[target_feature(..)]` can only be applied to `unsafe` functions
168-
--> $DIR/invalid-attribute.rs:31:1
169-
|
170-
LL | #[target_feature(enable = "sse2")]
171-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
172-
...
173-
LL | fn bar() {}
174-
| -------- not an `unsafe` function
175-
|
176-
= note: see issue #69098 <https://github.com/rust-lang/rust/issues/69098> for more information
177-
= help: add `#![feature(target_feature_11)]` to the crate attributes to enable
178-
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
179-
180166
error: cannot use `#[inline(always)]` with `#[target_feature]`
181-
--> $DIR/invalid-attribute.rs:76:1
167+
--> $DIR/invalid-attribute.rs:69:1
182168
|
183169
LL | #[inline(always)]
184170
| ^^^^^^^^^^^^^^^^^
185171

186172
error[E0046]: not all trait items implemented, missing: `foo`
187-
--> $DIR/invalid-attribute.rs:88:1
173+
--> $DIR/invalid-attribute.rs:81:1
188174
|
189175
LL | impl Quux for u8 {}
190176
| ^^^^^^^^^^^^^^^^ missing `foo` in implementation
191177
...
192178
LL | fn foo();
193179
| --------- `foo` from trait
194180

195-
error[E0658]: `#[target_feature(..)]` can only be applied to `unsafe` functions
196-
--> $DIR/invalid-attribute.rs:104:5
181+
error: `#[target_feature(..)]` cannot be applied to safe trait method
182+
--> $DIR/invalid-attribute.rs:97:5
197183
|
198184
LL | #[target_feature(enable = "sse2")]
199-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
185+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot be applied to safe trait method
200186
...
201187
LL | fn foo() {}
202188
| -------- not an `unsafe` function
203-
|
204-
= note: see issue #69098 <https://github.com/rust-lang/rust/issues/69098> for more information
205-
= help: add `#![feature(target_feature_11)]` to the crate attributes to enable
206-
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
207189

208190
error[E0053]: method `foo` has an incompatible type for trait
209-
--> $DIR/invalid-attribute.rs:108:5
191+
--> $DIR/invalid-attribute.rs:100:5
210192
|
211193
LL | fn foo() {}
212194
| ^^^^^^^^ expected safe fn, found unsafe fn
213195
|
214196
note: type in trait
215-
--> $DIR/invalid-attribute.rs:99:5
197+
--> $DIR/invalid-attribute.rs:92:5
216198
|
217199
LL | fn foo();
218200
| ^^^^^^^^^
219201
= note: expected signature `fn()`
220202
found signature `#[target_features] fn()`
221203

222-
error: aborting due to 24 previous errors
204+
error: aborting due to 23 previous errors
223205

224-
Some errors have detailed explanations: E0046, E0053, E0658.
206+
Some errors have detailed explanations: E0046, E0053.
225207
For more information about an error, try `rustc --explain E0046`.

0 commit comments

Comments
 (0)
Please sign in to comment.