[GHC] #11338: Unwind information is incorrect in region surrounding a safe foreign call

[GHC]

#11338: Unwind information is incorrect in region surrounding a safe foreign call
-------------------------------------+-------------------------------------
        Reporter:  bgamari           |                Owner:
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:  8.2.1
       Component:  Compiler          |              Version:  7.10.3
  (CodeGen)                          |
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  Debugging         |  Unknown/Multiple
  information is incorrect           |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #11337, #11353    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------
Changes (by bgamari):

 * component:  Compiler => Compiler (CodeGen)
 * milestone:   => 8.2.1


@@ -1,4 +1,3 @@
- Safe foreign calls can occur at the end of a block. Like #11337, these
- produce incorrect debug information. However, the situation is worse in
- the case of foreign calls since these return to the calling block. This
- means that we are currently unable to unwind out of a safe foreign call.
+ The code generator produces a prologue and epilogue around a safe foreign
+ call to suspend and resume the thread state. This needs to be decorated
+ with proper unwind information.

New description:

 The code generator produces a prologue and epilogue around a safe foreign
 call to suspend and resume the thread state. This needs to be decorated
 with proper unwind information.

--

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