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 <[email protected]> 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 <[email protected]>
> > 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 [email protected]
>
