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
Ocaml segfault when List.fold_left is traced then executed #6443
Comments
Comment author: @gasche Could reproduce on 4.01 and trunk. Crashes on List.map as well (but not for List.filter, List.rev or Array.fold_left). |
Comment author: @diml This crashes as well: #trace List.fold_left;;List.fold_left is now traced. 0;;Segmentation fault #trace Toploop.use_file;;Toploop.use_file is now traced. 0;;
#use "foo.ml";;Segmentation fault It seems to be the case for any function used by the compiler/toplevel. |
Comment author: azynheira Hi, |
Comment author: @garrigue This is a rather strange one. Still looking for the cause. |
Comment author: @garrigue I eventually found the cause. |
Comment author: @garrigue Fixed in version/4.02 at revision 14922. |
Original bug ID: 6443
Reporter: Reventlov
Assigned to: @garrigue
Status: closed (set by @xavierleroy on 2015-12-11T18:27:42Z)
Resolution: fixed
Priority: normal
Severity: crash
Platform: Linux
OS: Archlinux
OS Version: Up to date.
Version: 4.01.0
Fixed in version: 4.02.0+dev
Category: tools (ocaml{lex,yacc,dep,debug,...})
Monitored by: @diml @hcarty
Bug description
In the ocaml toplevel, when launching List.fold_left after tracking List.fold_left, you get a crash (segfault).
Steps to reproduce
Open the toplevel ocaml, type trace List.fold_left;; then type
List.fold_left;;
The text was updated successfully, but these errors were encountered: