#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