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-03 13:40:20 +01:00
2023-06-18 18:44:14 +08:00
2023-07-10 20:09:26 +00:00
2023-06-23 19:39:57 +02:00
2023-07-15 22:02:16 +00:00
2023-07-16 21:14:38 +00:00
2023-07-08 18:21:34 -03:00
2023-06-12 20:24:48 +08:00
2023-07-12 12:11:09 +00:00
2023-07-16 19:22:03 +08:00
2023-06-02 19:22:25 +00:00
2023-06-22 23:31:06 +00:00
2023-04-28 20:28:56 -05: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-06-24 21:45:17 +08:00
2023-05-06 18:40:47 +02:00
2023-05-12 00:10:52 +00:00
2023-07-14 13:27:35 +01:00
2023-06-19 09:01:29 +02:00
2023-07-10 20:09:28 +00:00
2023-05-24 19:35:59 -03:00
2023-07-16 01:56:16 +00:00
2023-05-30 13:03:40 +02:00
2023-06-29 23:31:25 +08:00
2023-04-28 14:42:03 +02:00
2023-07-14 03:47:02 +00:00
2023-06-01 14:45:18 +00:00
2023-07-16 13:20:06 +02:00
2023-05-12 00:10:52 +00:00
2023-05-08 17:58:01 -03:00
2023-05-05 01:22:17 -05:00
2023-04-27 01:34:03 +00:00
2023-07-16 15:02:08 -07:00
2023-04-27 01:34:03 +00:00
2023-06-29 23:31:25 +08:00
2023-05-12 00:10:52 +00:00
2023-07-10 20:09:26 +00:00
2023-05-21 14:16:41 +02:00
2023-07-10 20:09:26 +00:00
2023-06-15 12:01:38 +02:00
2023-07-05 19:52:28 -04:00
2023-07-14 13:11:31 +00:00
2023-05-26 13:15:15 -04:00
2023-06-10 00:06:34 +08:00
2023-06-19 16:22:21 +01:00
2023-06-08 12:33:17 +00:00
2023-07-16 15:36:19 +02:00
2023-05-21 14:16:41 +02:00
2023-06-26 08:56:32 +00:00
2023-05-11 21:41:07 +01:00
2023-06-22 16:50:31 +00:00
2023-05-05 13:02:43 -07:00
2023-07-10 19:01:30 +00:00
2023-06-27 23:31:06 +00:00
2023-05-08 17:58:01 -03:00
2023-07-03 09:12:15 +02:00
2023-06-12 20:24:48 +08:00
2023-07-10 20:09:26 +00:00
2023-07-07 13:13:18 +00:00
2023-06-30 00:34:14 +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-06-05 21:20:51 +00:00
2023-07-01 11:53:31 +08:00
2023-07-16 15:36:19 +02:00
2023-06-01 02:28:31 +08:00
2023-05-03 20:09:10 +03:00
2023-06-12 20:24:48 +08:00
2023-05-16 18:50:26 +02:00
2023-07-13 12:19:22 +02:00
2023-06-27 23:31:06 +00:00
2023-05-13 21:34:05 +00:00
2023-07-14 17:48:13 -04:00
2023-06-08 16:30:05 +00:00
2023-06-10 14:46:11 -04:00
2023-07-10 20:09:26 +00:00
2023-07-05 19:52:28 -04:00
2023-07-05 19:52:28 -04:00
2023-07-13 08:26:02 +08:00
2023-07-14 07:12:35 +08:00
2023-05-31 16:51:25 +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-06-17 16:10:57 +00:00
2023-06-27 23:31:06 +00:00
2023-06-10 00:06:34 +08:00
2023-07-10 20:09:28 +00:00
2023-07-10 20:09:26 +00:00
2023-05-05 18:54:06 +01:00
2023-06-27 23:31:06 +00:00
2023-07-14 13:27:35 +01:00
2023-05-03 20:09:10 +03:00
2023-06-27 23:31:06 +00:00
2023-07-10 20:09:26 +00:00
2023-06-21 11:43:14 +03:00
2023-06-27 23:31:06 +00:00
2023-05-21 14:16:41 +02:00
2023-06-15 12:01:38 +02:00
2023-04-29 13:01:46 +01:00
2023-07-11 02:40:59 +00:00
2023-07-11 01:19:11 +02:00
2023-07-01 02:28:15 -04:00
2023-06-12 20:24:48 +08:00
2023-05-21 13:37:32 +02:00
2023-07-11 17:52:43 +08:00
2023-07-14 16:53:36 +01:00
2023-05-27 00:18:28 +02:00
2023-06-29 16:24:07 +03:00
2023-06-27 23:31:06 +00:00
2023-06-22 16:50:31 +00:00
2023-07-07 16:02:24 +00:00
2023-07-10 20:09:26 +00:00
2023-05-01 15:05:39 +01:00
2023-07-15 22:02:16 +00:00
2023-06-26 08:56:32 +00:00
2023-07-12 12:11:09 +00:00
2023-06-29 13:42:58 +03:00
2023-07-05 11:04:28 -05:00
2023-05-23 03:23:52 +00:00
2023-05-05 14:58:52 -07:00
2023-07-10 20:09:26 +00:00
2023-06-06 18:43:20 +00:00
2023-06-28 03:47:02 +00:00
2023-06-01 14:45:18 +00:00
2023-06-20 19:46:01 -04:00
2023-05-08 03:36:30 +00:00
2023-06-22 16:50:31 +00:00
2023-05-29 12:07:41 -03:00
2023-07-14 07:12:35 +08:00
2023-06-01 18:21:42 +00:00
2023-04-30 00:06:26 +08:00
2023-07-01 07:07:50 +00:00
2023-07-14 13:27:35 +01:00
2023-04-26 22:34:30 -04:00
2023-04-26 21:02:56 +02:00
2023-05-26 12:16:30 -05:00
2023-06-15 12:01:38 +02:00
2023-07-16 21:14:38 +00:00
2023-06-29 15:11:35 -07:00
2023-05-24 14:52:19 -07:00
2023-06-27 16:12:07 +02:00
2023-05-21 14:16:41 +02:00
2023-06-12 20:24:48 +08:00
2023-06-27 23:31:06 +00:00
2023-06-12 20:24:48 +08:00
2023-06-27 23:31:06 +00:00
2023-07-16 12:38:43 +02:00
2023-07-08 20:53:27 +02:00
2023-07-04 05:00:46 -04:00
2023-07-08 20:53:27 +02:00
2023-06-27 23:31:06 +00:00
2023-05-26 16:01:29 +01:00
2023-05-18 09:29:48 +08:00
2023-06-30 00:34:14 +00:00
2023-06-27 17:10:14 +00:00
2023-06-15 12:01:38 +02:00
2023-07-15 11:59:38 -04:00
2023-06-20 08:42:37 +00:00
2023-06-13 07:02:28 +02:00
2023-04-29 13:01:46 +01:00
2023-07-10 20:09:26 +00:00
2023-05-12 00:10:52 +00:00
2023-07-11 01:19:11 +02:00
2023-06-22 16:50:31 +00:00
2023-06-12 20:24:48 +08:00
2023-05-09 20:35:39 -04:00
2023-05-09 20:35:39 -04:00
2023-05-27 16:35:16 +02:00
2023-07-10 20:09:26 +00:00
2023-05-21 13:37:32 +02:00
2023-05-09 20:35:39 -04:00
2023-06-12 20:24:48 +08:00
2023-05-21 14:16:41 +02:00
2023-05-21 14:16:41 +02:00
2023-05-10 19:36:02 +02:00
2023-05-04 15:39:21 +02:00
2023-05-03 20:09:10 +03:00
2023-06-12 20:24:48 +08:00
2023-06-08 16:17:30 +00:00
2023-07-10 20:09:26 +00:00
2023-06-19 20:22:35 -07:00