[GHC] #15508: concprog001 fails with various errors when compiled with -prof

[GHC]

#15508: concprog001 fails with various errors when compiled with -prof
-------------------------------------+-------------------------------------
        Reporter:  osa1              |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  high              |            Milestone:  8.6.1
       Component:  Profiling         |              Version:  8.5
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  Runtime crash     |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):  Phab:D5051
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by Ben Gamari <ben@…>):

 In [changeset:"2693eb11f55f2001701c90c24183e21c794a8be1/ghc" 2693eb1/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="2693eb11f55f2001701c90c24183e21c794a8be1"
 Properly tag fun field of PAPs generated by ap_0_fast

 Currently ap_0_fast doesn't maintain the invariant for PAP fun fields
 which says if the closure can be tagged, it should be. This is checked
 by `Sanity.c:checkPAP` and correctly implemented by `genautoapply`.

 This causes sanity check failures when we have a profiling code like

     f = {-# SCC scc #-} g

 where g is a PAP or a FUN, and `scc` is different than the current cost
 centre.

 Test Plan: Slow validate (not done yet)

 Reviewers: simonmar, bgamari, erikd

 Reviewed By: simonmar

 Subscribers: rwbarton, carter

 GHC Trac Issues: #15508

 Differential Revision: https://phabricator.haskell.org/D5051
 }}}

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