bors
1787f31290
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).
2023-07-17 19:57:37 +00:00
..
2023-07-10 20:09:26 +00:00
2023-07-15 22:02:16 +00:00
2023-07-16 21:14:38 +00:00
2023-07-12 12:11:09 +00:00
2023-07-16 19:22:03 +08:00
2023-07-10 20:09:26 +00:00
2023-07-14 07:12:38 +08:00
2023-07-10 20:09:26 +00:00
2023-07-14 07:12:35 +08:00
2023-07-14 13:27:35 +01:00
2023-07-10 20:09:28 +00:00
2023-07-16 01:56:16 +00:00
2023-07-14 03:47:02 +00:00
2023-07-16 13:20:06 +02:00
2023-07-16 15:02:08 -07:00
2023-07-10 20:09:26 +00:00
2023-07-10 20:09:26 +00:00
2023-07-14 13:11:31 +00:00
2023-07-16 15:36:19 +02:00
2023-07-10 19:01:30 +00:00
2023-07-10 20:09:26 +00:00
2023-07-10 20:09:26 +00:00
2023-07-10 20:09:26 +00:00
2023-07-14 01:59:08 +00:00
2023-07-15 22:02:16 +00:00
2023-07-16 15:36:19 +02:00
2023-07-13 12:19:22 +02:00
2023-07-14 17:48:13 -04:00
2023-07-10 20:09:26 +00:00
2023-07-13 08:26:02 +08:00
2023-07-14 07:12:35 +08:00
2023-07-10 20:09:26 +00:00
2023-07-10 20:09:26 +00:00
2023-07-10 20:09:26 +00:00
2023-07-10 20:09:28 +00:00
2023-07-10 20:09:26 +00:00
2023-07-14 13:27:35 +01:00
2023-07-10 20:09:26 +00:00
2023-07-11 02:40:59 +00:00
2023-07-11 01:19:11 +02:00
2023-07-11 17:52:43 +08:00
2023-07-14 16:53:36 +01:00
2023-07-10 20:09:26 +00:00
2023-07-15 22:02:16 +00:00
2023-07-12 12:11:09 +00:00
2023-07-10 20:09:26 +00:00
2023-07-14 07:12:35 +08:00
2023-07-14 13:27:35 +01:00
2023-07-16 21:14:38 +00:00
2023-07-16 12:38:43 +02:00
2023-07-15 11:59:38 -04:00
2023-07-10 20:09:26 +00:00
2023-07-11 01:19:11 +02:00
2023-07-10 20:09:26 +00:00
2023-07-10 20:09:26 +00:00