We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 797c5d8 commit 78b4fc0Copy full SHA for 78b4fc0
[refs]
@@ -1,2 +1,2 @@
1
---
2
-refs/heads/master: eb90be779877caa2e2d51095301f83695d77dd44
+refs/heads/master: 1fa978ebb9ef97640724ad92900ba49a3544c6c9
trunk/src/boot/me/trans.ml
@@ -768,8 +768,12 @@ let trans_visitor
768
add_to vc sz;
769
Il.Mem (based v, elt_rty)
770
end
771
- | _ -> bug () "get_element_ptr_dyn %d on cell %s" i
772
- (cell_str mem_cell)
+ | Il.Mem (_, Il.StructTy elts) ->
+ bug ()
773
+ "get_element_ptr dyn %d out of bounds (len %d) on cell %s"
774
+ i (Array.length elts) (cell_str mem_cell)
775
+ | _ ->
776
+ bug () "get_element_ptr_dyn %d on cell %s" i (cell_str mem_cell)
777
in
778
779
let get_element_ptr_dyn_in_current_frame
0 commit comments