[GHC] #12650: Too many warnings about consistentCafInfo

[GHC]

#12650: Too many warnings about consistentCafInfo
-------------------------------------+-------------------------------------
        Reporter:  nomeata           |                Owner:  (none)
            Type:  task              |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.0.1
      Resolution:                    |             Keywords:
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 simonpj):

 See #9718, which answers (2).

 For (1) we check because if the predication is incorrect (e.g. says that
 it has no CAF refs when actually it does) we could fail to keep stuff
 alive during GC that was alive, with resulting seg-faults.

 Re (3), not too hard!  And very valuable.  See #9718.  I'm keen to get
 this done.

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