#3976: '+RTS -S' reports negative allocation.
------------------------+---------------------------------------------------
Reporter: wkahl | Owner:
Type: bug | Status: new
Priority: normal | Component: Runtime System
Version: 6.12.1 | Keywords:
Os: Linux | Testcase:
Architecture: powerpc | Failure: Incorrect result at runtime
------------------------+---------------------------------------------------
While running Agda with {{{+RTS -S}}}, I see a lot of negative heap
allocation reported, for example:
{{{
6967252 1723140 163854188 0.04 0.04 19.39 19.86 0 0 (Gen:
0)
Skipping Categoric.OCC.Props.Mapping
(/var/tmp/kahl/svn/RATH/trunk/Agda/Categoric/OCC/Props/Mapping.agdai).
Skipping Categoric.OCC
(/var/tmp/kahl/svn/RATH/trunk/Agda/Categoric/OCC.agdai).
-1239169216 10322552 173302476 0.22 0.22 31.17 33.44 0 0
(Gen: 0)
-1255628852 13628520 179169592 0.26 0.26 42.57 44.88 0 1
(Gen: 0)
-1260863492 9986512 182103292 0.16 0.16 53.56 56.22 0 0
(Gen: 0)
-1259733000 8999552 188116056 0.20 0.21 64.50 67.18 0 0
(Gen: 0)
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3976>
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
