[GHC] #4414: scc001 fails: one SCC entered 0 times; another not mentioned when optimisation is on

[GHC]

#4414: scc001 fails: one SCC entered 0 times; another not mentioned when
optimisation is on
---------------------------------+------------------------------------------
    Reporter:  igloo             |        Owner:  simonmar    
        Type:  bug               |       Status:  new         
    Priority:  normal            |    Milestone:  7.0.2       
   Component:  Profiling         |      Version:  6.12.3      
    Keywords:                    |     Testcase:              
   Blockedby:                    |   Difficulty:              
          Os:  Unknown/Multiple  |     Blocking:              
Architecture:  Unknown/Multiple  |      Failure:  None/Unknown
---------------------------------+------------------------------------------

Comment(by igloo):

 Perhaps another option is for SCCs to be parameterised by whether they
 keep a count of entries or not. Then an optimisation could eliminate an
 `__scc NoCounts ...` but not an `__scc WithCounts ...`.

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