Don't know about amd64 or x86.
I tried adding "-codegen c" to MLTON_FLAGS but it didn't make any difference.
Gdb generates full backtrace with core file. Thus, in theory, it should be
possible to
debug. But without symbols, it's hard to tell what's going on.
The fault outside the chroot is slightly different in that the compiler faults
on address 0.
On 2022-01-06 7:04 p.m., Henry Cejtin wrote:
ssume that it isn't reproducible on AMD, right?
Or better, x86 (32 bit)?
One thing to try, under either of these, would be compiling stuff with
-codegen c
or, compiling the compiler with that.
The idea is that the HPPA stuff must use the C compiler back end.
On Thu, Jan 6, 2022 at 3:24 PM John David Anglin <dave.ang...@bell.net> wrote:
Same issue with Linux overcommit turned off. The machine is not running out of
memory and
there is lots of swap (40G).
Don't really know what's causing segfault.
On 2022-01-06 3:27 p.m., Henry Cejtin wrote:
MLton understands about running out of memory, so it shouldn't just segfault.
If it isn't too hard, could you try it with Linux overcommit turned off?
On Thu, Jan 6, 2022 at 1:57 PM John David Anglin <dave.ang...@bell.net> wrote:
Source: mlton
Version: 20130715-3
Severity: normal
Dear Maintainer,
Because of dependency problems mlton_20210117+dfsg-3 had to built
manually on hppa. However, it seems mlton_20210117+dfsg-3 cannot
rebuild itself on hppa.
See log:
https://buildd.debian.org/status/fetch.php?pkg=mlton&arch=hppa&ver=20210117%2Bdfsg-3&stamp=1641492022&raw=0
It fails with a reproducible segmentation fault. I noticed the compiler
had allocated more than 2G at this point, so there was probably a memory
allocation issue. hppa is a 32-bit architecture.
Regards,
Dave Anglin
-- System Information:
Debian Release: bookworm/sid
APT prefers buildd-unstable
APT policy: (500, 'buildd-unstable'), (500, 'unstable')
Architecture: hppa (parisc64)
Kernel: Linux 5.16.0-rc8+ (SMP w/4 CPU threads)
Locale: LANG=C, LC_CTYPE=C.UTF-8 (charmap=UTF-8), LANGUAGE not set
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
--
John David Anglin dave.ang...@bell.net
--
John David Anglin dave.ang...@bell.net
