[GHC] #15960: Using -g causes differences in generated core.

GHC ghc-devs at haskell.org
Sat Dec 1 10:10:16 UTC 2018


#15960: Using -g causes differences in generated core.
-------------------------------------+-------------------------------------
        Reporter:  AndreasK          |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:  8.6.3
       Component:  Compiler          |              Version:  8.6.2
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by AndreasK):

 It directly contradicts the info on the wiki:

 > It is important to realize that - in contrast to instrumentation -
 adding DWARF debug information does not change the code sections of the
 executable.

 In particular some expressions get turned into join points without -g, but
 are inlined without -g.
 This leads to different code being generated and ultimately also to
 different behaviour in regards to performance.

 It seems reasonably that it is caused by the adding of source notes you
 mentioned. But if source notes cause different inlining/join point
 behaviour I would still consider that a bug.

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


More information about the ghc-tickets mailing list