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

[GHC]

#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:                |     Architecture:  Unknown/Multiple
  Unknown/Multiple               |       Difficulty:  Unknown
 Type of failure:  Runtime       |       Blocked By:
  crash                          |  Related Tickets:
       Test Case:                |
        Blocking:                |
---------------------------------+-----------------------------------------

Comment (by aalevy):

 OK, I can reproduce it without a dependency on the database (which should
 make it easier to repro for others...)

 Same instructions as before, except no need to install/setup the
 postgresql database server, and use the new attached (test2.hs) file
 instead:

 1. Grab the unpatched version of the postgresql-orm from github:
 {{{
 $ git clone https://github.com/alevy/postgresql-orm.git
 $ cd postgresql-orm
 $ git checkout 93075d56ae5ffeb8f80ecc8c01436713c2656a6b
 }}}

 2. Install library dependencies (inside a cabal sandbox if you care about
 not polluting your global environment):
 {{{
 $ cabal sandbox init
 $ cabal install --only-dependencies
 }}}

 3. Copy test2.hs into the project directory

 4. Compile with O1:
 {{{
 $ ghc -O1 test2.hs -package-db ./.cabal-sandbox/x86_64-linux-
 ghc-7.8.2-packages.conf.d
 }}}

 5. Run:
 {{{
 $ ./test
 test: Oops!  Entered absent arg a_sYDl{v} [lid]
 bytestring-0.10.4.0:Data.ByteString.Internal.ByteString{tc r5T}
 }}}

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