[GHC] #8839: 64 bit windows executables compiled with ghc-7.8rc2 segfault when allocate more than 4G of memory

[GHC]

#8839: 64 bit windows executables compiled with ghc-7.8rc2 segfault when allocate
more than 4G of memory
-----------------------------------+----------------------------------
        Reporter:  awson           |            Owner:  simonmar
            Type:  bug             |           Status:  new
        Priority:  highest         |        Milestone:  7.8.2
       Component:  Runtime System  |          Version:  7.8.1-rc2
      Resolution:                  |         Keywords:
Operating System:  Windows         |     Architecture:  x86_64 (amd64)
 Type of failure:  Runtime crash   |       Difficulty:  Unknown
       Test Case:                  |       Blocked By:
        Blocking:                  |  Related Tickets:
-----------------------------------+----------------------------------

Comment (by awson):

 Initial problem was that darcs Agda 2.3.3 compiled with ghc-7.8rc2
 segfaulted checking  https://github.com/crypto-agda/crypto-
 agda/blob/master/Control/Protoco/Reduction.agda right after the amount of
 allocated memory crossed 4G mark. If I tried to check this file with `+RTS
 -H4G` option it segfaulted almost immediately.

 At the same time, the same Agda compiled with ghc-7.6.3 successfully
 allocated much more than 4G while checking this file. And I've ran it with
 default stack (no `+RTS -K...` option). So, perhaps, stack size is not
 essential here.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8839#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler