[GHC] #9128: Possible bug in strictness analyzer when where clause declared NOINLINE

GHC ghc-devs at haskell.org
Wed Jun 11 19:57:08 UTC 2014


#9128: Possible bug in strictness analyzer when where clause declared NOINLINE
---------------------------------+-----------------------------------------
        Reporter:  aalevy        |            Owner:
            Type:  bug           |           Status:  new
        Priority:  normal        |        Milestone:
       Component:  Compiler      |          Version:  7.8.2
      Resolution:                |         Keywords:  strictness bytestring
Operating System:  Linux         |     Architecture:  x86_64 (amd64)
 Type of failure:  Runtime       |       Difficulty:  Unknown
  crash                          |       Blocked By:
       Test Case:                |  Related Tickets:
        Blocking:                |
---------------------------------+-----------------------------------------

Comment (by Simon Peyton Jones <simonpj@…>):

 In [changeset:"7d9feb264a4fc3c15d1e5f88f2e7a04202ed9743/ghc"]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="7d9feb264a4fc3c15d1e5f88f2e7a04202ed9743"
 Fix a serious, but rare, strictness analyser bug (Trac #9128)

 In a special case for trivial RHSs (see DmdAnal.unpackTrivial),
 I'd forgotten to include a demand for the RHS itself.
 See Note [Remember to demand the function itself].

 Thanks to David Terei for guiding me to the bug,
 at PLDI in Edinburgh.
 }}}

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


More information about the ghc-tickets mailing list