#4265: Sanity bug found by +RTS -DS in Agda
-------------------------------+--------------------------------------------
Reporter: wkahl | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 6.13 | Keywords:
Testcase: | Blockedby:
Os: Linux | Blocking:
Architecture: x86_64 (amd64) | Failure: Runtime crash
-------------------------------+--------------------------------------------
Comment(by wkahl):
This is the first {{{ASSERT}}} in:
{{{
checkNurserySanity (nursery *nursery)
{
bdescr *bd, *prev;
nat blocks = 0;
prev = NULL;
for (bd = nursery->blocks; bd != NULL; bd = bd->link) {
ASSERT(bd->u.back == prev);
prev = bd;
blocks += bd->blocks;
}
ASSERT(blocks == nursery->n_blocks);
}
}}}
This crash also happens in other (shorter) agda runs that do not segfault
without {{{-DS}}}.
Wolfram
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4265#comment:2>
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
