#2327: -O flag produces faulty code
----------------------------+-----------------------------------------------
Reporter: orenbenkiki | Owner: simonmar
Type: bug | Status: closed
Priority: normal | Milestone: 6.10.1
Component: Runtime System | Version: 6.9
Severity: normal | Resolution: fixed
Keywords: Optimizer -O | Difficulty: Unknown
Testcase: | Architecture: Unknown
Os: Unknown |
----------------------------+-----------------------------------------------
Changes (by simonmar):
* status: new => closed
* resolution: => fixed
Comment:
Fixed:
{{{
Tue Jul 29 16:05:18 BST 2008 Simon Marlow <[EMAIL PROTECTED]>
* FIX #2327: a fault in the thunk-selector machinery (again)
This program contains an expression of the form
let x = snd (_, snd (_, snd (_, x)))
(probably not explicitly, but that's what appears in the heap at
runtime). Obviously the program should deadlock if it ever enters
this thing, but apparently the test program in #2327 never does.
The GC tries to evaluate the snd closures, and gets confused due to
the loop. In particular the earlier fix for #1038 was to blame.
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2327#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
