mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Correct list of miri-supported operations

Browse Source 
Heap allocations are out, indirect `fn` calls are in!
This commit is contained in:
Dylan MacKenzie 2019-09-20 08:48:47 -07:00
parent 670c84dde3
commit 27bd84916c
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/librustc_mir/transform/check_consts/validation.rs
View File

@ -636,8 +636,6 @@ impl NonConstOp for Downcast {}
#[derive(Debug)]
pub struct FnCallIndirect;
impl NonConstOp for FnCallIndirect {
const IS_SUPPORTED_IN_MIRI: bool = false;
fn emit_error(&self, item: &Item<'_, '_>, span: Span) {
let mut err = item.tcx.sess.struct_span_err(
span,
@ -698,6 +696,8 @@ fn emit_error(&self, item: &Item<'_, '_>, span: Span) {
#[derive(Debug)]
pub struct HeapAllocation;
impl NonConstOp for HeapAllocation {
const IS_SUPPORTED_IN_MIRI: bool = false;
fn emit_error(&self, item: &Item<'_, '_>, span: Span) {
let mut err = struct_span_err!(item.tcx.sess, span, E0010,
"allocations are not allowed in {}s", item.mode);