[GHC] #14079: Failure to do CPR in the presence of a local letrec

[GHC]

#14079: Failure to do CPR in the presence of a local letrec
-------------------------------------+-------------------------------------
        Reporter:  nomeata           |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.3
      Resolution:                    |             Keywords:  JoinPoints
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by nomeata):

 > Are you sure there is a problem here?

 No, not very sure. I guess I was confused by trying to hunt down the
 regression. (I am still not convinced that there is no case where without
 loopification, CPR happens, but with loopification, CPR does not happen
 because the function can now be inlined, but after inlining CPR does still
 not happend, and thus we get more allocations. But I cannot easily
 reproduce such a case.)

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