Skip to content

Commit e0ab2c1

Browse files
lu-zerognzlbg
andcommitted
Document how miri support works
Co-Authored-By: gnzlbg <[email protected]>
1 parent 70446b5 commit e0ab2c1

File tree

1 file changed

+5
-0
lines changed
  • crates/std_detect/src/detect

1 file changed

+5
-0
lines changed

Diff for: crates/std_detect/src/detect/mod.rs

+5
Original file line numberDiff line numberDiff line change
@@ -65,6 +65,11 @@ mod cache;
6565

6666
cfg_if! {
6767
if #[cfg(miri)] {
68+
// When running under miri all target-features that are not enabled at
69+
// compile-time are reported as disabled at run-time.
70+
//
71+
// For features for which `cfg(target_feature)` returns true,
72+
// this run-time detection logic is never called.
6873
#[path = "os/other.rs"]
6974
mod os;
7075
} else if #[cfg(any(target_arch = "x86", target_arch = "x86_64"))] {

0 commit comments

Comments
 (0)