#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