[GHC] #10712: Regression: make TEST=exceptionsrun001 WAY=optasm is failing

[GHC]

#10712: Regression: make TEST=exceptionsrun001 WAY=optasm is failing
-------------------------------------+-------------------------------------
        Reporter:  thomie            |                Owner:
            Type:  bug               |               Status:  new
        Priority:  highest           |            Milestone:  8.0.1
       Component:  Compiler          |              Version:  7.11
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
                                     |  base/tests/exceptionsrun001
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------
Changes (by bgamari):

 * priority:  high => highest


Old description:

> The following program, extracted from the test exceptionsrun001, should
> exit with exitcode 100. Instead, when compiled with `-O1`, it never gets
> past the ioTest and somehow manages to exit with exitcode 0.
>
> {{{
> {-# LANGUAGE ScopedTypeVariables #-}
> module Main where
>
> import Control.Exception
> import System.IO.Error
> import System.Exit
>
> main = do
>   ioTest
>   exitWith (ExitFailure 100)
>
> ioTest :: IO ()
> ioTest = (catch (ioError (userError "wibble"))
>                 (\(e::IOException) -> return ())
> }}}
>
> I think this will require a git bisect:
> * last known good commit: 34bb4605d4ec5b131df57ca4c91d6840b7539194
> * first known bad commit: f83aab95f59ae9b29f22fc7924e050512229cb9c.

New description:

 The following program, extracted from the test exceptionsrun001, should
 exit with exitcode 100. Instead, when compiled with `-O1`, it never gets
 past the ioTest and somehow manages to exit with exitcode 0.

 {{{#!hs
 {-# LANGUAGE ScopedTypeVariables #-}
 module Main where

 import Control.Exception
 import System.IO.Error
 import System.Exit

 main = do
   ioTest
   exitWith (ExitFailure 100)

 ioTest :: IO ()
 ioTest = (catch (ioError (userError "wibble"))
                 (\(e::IOException) -> return ())
 }}}

 I think this will require a git bisect:
 * last known good commit: 34bb4605d4ec5b131df57ca4c91d6840b7539194
 * first known bad commit: f83aab95f59ae9b29f22fc7924e050512229cb9c.

--

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