Home My Page Projects Code Snippets Project Openings SML/NJ Bugs
Summary Activity Tracker Lists

[#230] segmentation fault when compiling MLton sources with SML/NJ 64-bit

Date:
2019-11-04 21:04
Priority:
3
State:
Closed
Submitted by:
Bug Submitter (webuser)
Assigned to:
John Reppy (jhr)
Machine Architecture:
Other
Operating System:
Generic Unix
Component:
Compiler
Resolution:
Fixed
Severity:
Major
OS Version:
SML/NJ Version:
110.94 (64-bit)
Keywords:
URL:
Transcript (of reproduction):
Linux: [mtf@sulfur basic]$ sml -m sources.cm Standard ML of New Jersey (64-bit) v110.94 [built: Fri Nov 01 23:55:39 2019] [scanning sources.cm] ... [compiling (sources.cm):dot.sig] [code: 57, data: 1, env: 18793 bytes] [compiling (sources.cm):dot.sml] Segmentation fault (core dumped) MacOS [mtf@uller basic]$ sml -m sources.cm Standard ML of New Jersey (64-bit) v110.94 [built: Fri Nov 01 12:24:51 2019] [scanning sources.cm] ... [compiling (sources.cm):dot.sig] [code: 57, data: 1, env: 18793 bytes] [compiling (sources.cm):dot.sml] Bus error: 10
Source (for reproduction):
$ git clone https://github.com/MLton/mlton.git $ cd cd mlton/lib/mlton/basic $ sml -m sources.cm
Summary:
segmentation fault when compiling MLton sources with SML/NJ 64-bit

Detailed description
I consistently get a segmentation fault / bus error when compiling
the MLton sources (in particular, the MLton utility libraries)
with 64-bit SML/NJ. Both on Linux and MacOS.
Submitted via web form by Matthew Fluet <Matthew.Fluet@gmail.com>

Comments:

Message  ↓
Date: 2019-11-07 16:19
Sender: John Reppy

This is fixed for 110.95. The problem was with the assembly code for vector allocation (in the case where the runtime was called to allocated the vector).

Attached Files:

Changes

Field Old Value Date By
status_idOpen2019-11-07 16:19jhr
close_dateNone2019-11-07 16:19jhr
assigned_tonone2019-11-07 16:19jhr
detailsI consistently get a segmentation fault / bus error when compiling the MLton sources (in particular, the MLton utility libraries) with 64-bit SML/NJ. Both on Linux and MacOS. Submitted via web form by Matthew Fluet <Matthew.Fluet@gmail.com> 2019-11-07 16:19jhr
ResolutionNone2019-11-07 16:19jhr
Transcript (of reproduction)Linux: [mtf@sulfur basic]$ sml -m sources.cm Standard ML of New Jersey (64-bit) v110.94 [built: Fri Nov 01 23:55:39 2019] [scanning sources.cm] ... [compiling (sources.cm):dot.sig] [code: 57, data: 1, env: 18793 bytes] [compiling (sources.cm):dot.sml] Segmentation fault (core dumped) MacOS [mtf@uller basic]$ sml -m sources.cm Standard ML of New Jersey (64-bit) v110.94 [built: Fri Nov 01 12:24:51 2019] [scanning sources.cm] ... [compiling (sources.cm):dot.sig] [code: 57, data: 1, env: 18793 bytes] [compiling (sources.cm):dot.sml] Bus error: 102019-11-07 16:19jhr
Source (for reproduction)$ git clone https://github.com/MLton/mlton.git $ cd cd mlton/lib/mlton/basic $ sml -m sources.cm 2019-11-07 16:19jhr