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

#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 ): 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