[GHC] #5363: optimized profiled version of a program incorectly compiles $!

GHC cvs-ghc at haskell.org
Tue Aug 2 11:53:48 CEST 2011


#5363: optimized profiled version of a program incorectly compiles $!
-------------------------------------------------+--------------------------
    Reporter:  phercek                           |        Owner:                             
        Type:  bug                               |       Status:  new                        
    Priority:  normal                            |    Milestone:                             
   Component:  Compiler                          |      Version:  7.0.3                      
    Keywords:  optimization profiling stricness  |     Testcase:                             
   Blockedby:                                    |   Difficulty:                             
          Os:  Linux                             |     Blocking:                             
Architecture:  x86_64 (amd64)                    |      Failure:  Incorrect result at runtime
-------------------------------------------------+--------------------------

Comment(by phercek):

 Not much. It confused me quite a bit so I reported it. This is the first
 time ghc given me wrong result. I'll just take care not to add -O when
 profiling. Well, that is if there is not a similar bug for some other
 programs which would change asymptotic behavior even when optimizations
 are not used. I did not see such a bug yet. That would defeat the goal of
 profiling. I profile to solve space/time problems. I often solve these by
 changing strictness explicitly. If profiling ignored explicit strictness
 specifications then it would be kind of useless.

 So I think fixing this can be postponed till a similar bug is not found
 which would not depend on -O flag too.

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



More information about the Glasgow-haskell-bugs mailing list