#5453: Floating a non-exhaustive case can cause seg-faults
-----------------------------------------+----------------------------------
Reporter: simonpj | Owner:
Type: bug | Status: closed
Priority: normal | Milestone: 7.2.2
Component: Compiler | Version: 7.2.1
Resolution: fixed | Keywords:
Testcase: simplCore/should_run/T5453 | Blockedby:
Difficulty: | Os: Unknown/Multiple
Blocking: | Architecture: Unknown/Multiple
Failure: None/Unknown |
-----------------------------------------+----------------------------------
Changes (by igloo):
* status: merge => closed
Comment:
Merged as:
commit acd157f7d0989cd0910b14070257a2a85804ba7f
{{{
Author: Ian Lynagh <[email protected]>
Date: Thu Nov 3 13:38:23 2011 +0000
Merged: Fix two bugs in caes-floating (fixes Trac #5453)
Changeset bd6f5de7bb41f868522c6db2ad2793477840297e
Author: Simon Peyton Jones <[email protected]>
Fix two bugs in caes-floating (fixes Trac #5453)
The problem is documented in the ticket. The patch
does two things
1. Make exprOkForSpeculation return False for a non-exhaustive case
2. In SetLevels?.lvlExpr, look at the *result* scrutinee, not the
*input* scrutinee, when testing for evaluated-ness
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5453#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
