Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Segmentation fault: Marshal.to_string with large float32 bigarray #8787

Closed
mseri opened this issue Jul 2, 2019 · 1 comment · Fixed by #8788

Comments

@mseri
Copy link
Member

commented Jul 2, 2019

Minimal reproduction steps:

(* in the toplevel *)
open Bigarray;;
let m = Genarray.create float32 c_layout [|58320; 11664|];;
Marshal.to_string m [];;

Note that it does fail also if float32 is replaced by complex64, but does not fail with float64 and complex32. Tested on mac osx 10.14.5, with ocaml 4.07.1 (also in native mode).

Origin: owlbarn/owl#422

@yallop

This comment has been minimized.

Copy link
Member

commented Jul 2, 2019

Thanks for the clear report & reproduction instructions. There's a fix in #8788.

@dra27 dra27 closed this in #8788 Jul 11, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
2 participants
You can’t perform that action at this time.