[GHC] #4505: Segmentation fault on long input (list of pairs)

GHC ghc-devs at haskell.org
Tue Dec 2 10:43:13 UTC 2014


#4505: Segmentation fault on long input (list of pairs)
-------------------------------------+-------------------------------------
              Reporter:  cathper     |            Owner:  simonmar
                  Type:  bug         |           Status:  new
              Priority:  highest     |        Milestone:  7.10.1
             Component:  Compiler    |          Version:  7.0.1
            Resolution:              |         Keywords:  Segmentation
      Operating System:  Linux       |  fault, segfault, long input
       Type of failure:  Runtime     |     Architecture:  x86_64 (amd64)
  crash                              |       Difficulty:  Unknown
             Test Case:              |       Blocked By:  4258
              Blocking:              |  Related Tickets:
Differential Revisions:              |
-------------------------------------+-------------------------------------

Comment (by simonmar):

 The code that implements the runtime check is still in place, it's only
 the compile-time check that we lost.  So you don't get a segfault, but you
 do get a runtime failure:

 {{{
             barf("allocation of %ld bytes too large (GHC should have
 complained at compile-time)", (long)cap->r.rHpAlloc);
 }}}

 @snoyberg: do you see this?

 Given this, I don't think it's worth holding up 7.8.4.  We wouldn't be
 fixing the bug, only moving the failure to compile-time.

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


More information about the ghc-tickets mailing list