diff options
| author | Eduardo Sánchez Muñoz <eduardosm-dev@e64.io> | 2023-07-16 00:23:17 +0200 |
|---|---|---|
| committer | Eduardo Sánchez Muñoz <eduardosm-dev@e64.io> | 2023-07-16 00:23:17 +0200 |
| commit | b5fde0dae0af1a4a273830e695dc0aaf7c3885ba (patch) | |
| tree | 7c3e6dabf8e2eb1cc256a885eb2f767fa074cf98 /compiler/rustc_codegen_gcc | |
| parent | ad963232d9b987d66a6f8e6ec4141f672b8b9900 (diff) | |
| download | rust-b5fde0dae0af1a4a273830e695dc0aaf7c3885ba.tar.gz rust-b5fde0dae0af1a4a273830e695dc0aaf7c3885ba.zip | |
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_gcc')
0 files changed, 0 insertions, 0 deletions