[GHC] #13836: Some event log events won't be flushed if capability count decreased with setNumCapabitilies

[GHC]

#13836: Some event log events won't be flushed if capability count decreased with
setNumCapabitilies
-------------------------------------+-------------------------------------
           Reporter:  bgamari        |             Owner:  (none)
               Type:  bug            |            Status:  new
           Priority:  normal         |         Milestone:
          Component:  Runtime        |           Version:  8.0.1
  System                             |
           Keywords:                 |  Operating System:  Unknown/Multiple
       Architecture:                 |   Type of failure:  None/Unknown
  Unknown/Multiple                   |
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 Currently the eventlog code assumes that there have been at most
 `n_capabilities` capabilities at the time of cleanup. This may not hold in
 the event that the capability count was decreased using
 `setNumCapabilities`. This means that some `EventBuf`s won't be flushed
 when the program terminates.

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