-
Notifications
You must be signed in to change notification settings - Fork 1.2k
Ocamlc got segfault in Alpine ppc64le #7562
Description
Original bug ID: 7562
Reporter: rgdoliveira
Status: acknowledged (set by @xavierleroy on 2017-06-22T18:03:14Z)
Resolution: open
Priority: normal
Severity: crash
Platform: ppc64le
OS: Alpine Linux
OS Version: 3.6.2
Version: 4.04.1
Category: back end (clambda to assembly)
Related to: #7697
Monitored by: @nojb @gasche @dbuenzli
Bug description
I'm building ocaml in Alpine Linux ppc64le and it builds fine. But when I try to use ocamlc, I'm getting a segfault.
Gdb backtrace shows:
#0 0x00003fffb7fad710 in do_relocs (dso=0x3fffb7ff26a0 , rel=0x200ab4b8, rel_size=2495088,
stride=3) at ldso/dynlink.c:379
#1 0x00003fffb7fae1ec in reloc_all (p=0x3fffb7ff26a0 ) at ldso/dynlink.c:1195
#2 0x00003fffb7fafc94 in __dls3 (sp=) at ldso/dynlink.c:1638
#3 0x00003fffb7faf3d4 in __dls2 (base=, sp=0x3ffffffffba0) at ldso/dynlink.c:1424
#4 0x00003fffb7facd2c in _dlstart_c (sp=, dynv=)
at ldso/dlstart.c:147
#5 0x00003fffb7fb1104 in _dlstart () from /lib/ld-musl-powerpc64le.so.1
I know that ocaml was recently ported to ppc64le architecture and works fine with glic, but seems there is an issue with musl.
Steps to reproduce
The steps bellow need to be done inside an Alpine ppc64le:
-
Clone aports repository
$ git clone https://github.com/alpinelinux/aports.git -
Build ocaml package
$ cd aports/community/ocaml
$ abuild -r -
Install the built package:
$ sudo apk add <ocaml_apk> -
Run ocamlc to get the segmentation fault.