Skip to content

Commit 3ecd24b

Browse files
committed
Add an experimental unsafe(force_target_feature) attribute.
This uses the feature gate for rust-lang/rust#143352, but is described in rust-lang/rfcs#3820 which is strongly tied to the experiment.
1 parent 39b257b commit 3ecd24b

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

src/machine.rs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,6 +16,7 @@ use rustc_data_structures::fx::{FxHashMap, FxHashSet};
1616
#[allow(unused)]
1717
use rustc_data_structures::static_assert_size;
1818
use rustc_hir::attrs::InlineAttr;
19+
use rustc_middle::middle::codegen_fn_attrs::TargetFeatureKind;
1920
use rustc_middle::mir;
2021
use rustc_middle::query::TyCtxtAt;
2122
use rustc_middle::ty::layout::{
@@ -1076,7 +1077,7 @@ impl<'tcx> Machine<'tcx> for MiriMachine<'tcx> {
10761077
.target_features
10771078
.iter()
10781079
.filter(|&feature| {
1079-
!feature.implied && !ecx.tcx.sess.target_features.contains(&feature.name)
1080+
feature.kind != TargetFeatureKind::Implied && !ecx.tcx.sess.target_features.contains(&feature.name)
10801081
})
10811082
.fold(String::new(), |mut s, feature| {
10821083
if !s.is_empty() {

0 commit comments

Comments
 (0)