diff options
| author | bors <bors@rust-lang.org> | 2023-07-17 19:57:37 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-07-17 19:57:37 +0000 |
| commit | 1787f312907eee9a4a9ac010985d725ad9a03ab6 (patch) | |
| tree | 35c2230a31f33357c76933b20604a0b742358a61 /compiler/rustc_codegen_llvm/src/attributes.rs | |
| parent | 4eaad89dce57da09cebbf651e9ac3bd3292b4725 (diff) | |
| parent | ae2a72deaa4c99468edbcb821b6a9b07ab94fe4e (diff) | |
| download | rust-1787f312907eee9a4a9ac010985d725ad9a03ab6.tar.gz rust-1787f312907eee9a4a9ac010985d725ad9a03ab6.zip | |
Auto merge of #113720 - eduardosm:miri-target-feature, r=RalfJung,oli-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).
Diffstat (limited to 'compiler/rustc_codegen_llvm/src/attributes.rs')
0 files changed, 0 insertions, 0 deletions