Skip to content

Commit

Permalink
Auto merge of #113720 - eduardosm:miri-target-feature, r=RalfJung,oli…
Browse files Browse the repository at this point in the history
…-obk

miri: fail when calling a function that requires an unavailable target feature

miri will report an UB when calling a function that has a `#[target_feature(enable = ...)]` attribute is called and the required feature is not available.

"Available features" are the same that `is_x86_feature_detected!` (or equivalent) reports to be available during miri execution (which can be enabled or disabled with the `-C target-feature` flag).
  • Loading branch information
bors committed Jul 17, 2023
2 parents bdbd490 + ef2c5ee commit ecd3c72
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit ecd3c72

Please sign in to comment.