From 0d24641f2188bb1f7f514ffd1d663e5ced1ff563 Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Tue, 28 Aug 2018 13:48:54 -0700 Subject: [PATCH] Fix a verifier test failure. This test was accidentally relying on the bug that #485 fixed. --- cranelift/filetests/verifier/heap.clif | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cranelift/filetests/verifier/heap.clif b/cranelift/filetests/verifier/heap.clif index f3d1fee2f8..68d13e66f2 100644 --- a/cranelift/filetests/verifier/heap.clif +++ b/cranelift/filetests/verifier/heap.clif @@ -29,7 +29,7 @@ ebb0(v0: i64): function %heap_bound_type(i64 vmctx) { gv0 = vmctx+0 gv1 = deref(gv0): i16 - heap0 = dynamic gv1, bound gv1, guard 0x1000, index_type i32 ; error: heap index type i32 differs from the type of its bound, i16 + heap0 = dynamic gv0, bound gv1, guard 0x1000, index_type i32 ; error: heap index type i32 differs from the type of its bound, i16 ebb0(v0: i64): return