[GHC] #10538: Simpilifier produces empty case in core, segfaults at runtime.

GHC ghc-devs at haskell.org
Wed Jun 17 18:37:40 UTC 2015


#10538: Simpilifier produces empty case in core, segfaults at runtime.
-------------------------------------+-------------------------------------
        Reporter:  sopvop            |                   Owner:  bgamari
            Type:  bug               |                  Status:  new
        Priority:  high              |               Milestone:  7.10.2
       Component:  Compiler          |                 Version:  7.10.2-rc1
      Resolution:                    |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
 Type of failure:  Runtime crash     |  Unknown/Multiple
      Blocked By:                    |               Test Case:
 Related Tickets:                    |                Blocking:
                                     |  Differential Revisions:
-------------------------------------+-------------------------------------

Comment (by int-e):

 Sorry, I meant to add a description to that file: It reproduces the same
 bug with a bit less code and a single file (note the strategically placed
 `NOINLINE`). Interestingly, the `Applicative` constraint on `reqField` is
 essential.

 I've looked a bit at the resulting traces, but I'm not sure what to look
 for. Here are two excerpts that I found interesting:
 http://lpaste.net/raw/2270642354903842816 looks like an inlining step
 going horribly wrong, and http://lpaste.net/6349604574378065920 shows how
 the odd duplicated `a1_X9lA` is introduced.

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


More information about the ghc-tickets mailing list