#14915: T2783 fails with the threaded1 way -------------------------------------+------------------------------------- Reporter: alpmestan | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Runtime System | Version: 8.5 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: x86_64 | (amd64) Type of failure: Runtime crash | Test Case: T2783 Blocked By: | Blocking: Related Tickets: #15241 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonmar): I think you're right that the assertion is incorrect. Indeed, if it were correct, then the conditional above it, namely {{{ if (((bh_info == &stg_BLACKHOLE_info) && ((StgInd*)bh)->indirectee != (StgClosure*)tso) || (bh_info == &stg_WHITEHOLE_info)) }}} would not need to check `((StgInd*)bh)->indirectee != (StgClosure*)tso)` because that would always be true. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14915#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler