summaryrefslogtreecommitdiff
path: root/rts/RetainerProfile.c
diff options
context:
space:
mode:
authorDaniel Gröber <dxld@darkboxed.org>2019-06-23 18:54:50 +0200
committerDaniel Gröber <dxld@darkboxed.org>2019-09-22 15:18:10 +0200
commitcb7220b36cc34fe5e0545ab66ffb760363a244b1 (patch)
tree7cbe5a079b83b7ba3116b40738a53d22a5fb7407 /rts/RetainerProfile.c
parentbd78b6965c7077b0efe7a27ec591b8a954cbe1e6 (diff)
downloadhaskell-cb7220b36cc34fe5e0545ab66ffb760363a244b1.tar.gz
rts: retainer: Remove outdated invariants on traversePushStack
These invariants don't seem to make any sense in the current code. The text talks about c_child_r as if it were an StgClosure, for which RSET() would make sense, but it's a retainer aka 'CostCentreStack*'.
Diffstat (limited to 'rts/RetainerProfile.c')
-rw-r--r--rts/RetainerProfile.c8
1 files changed, 0 insertions, 8 deletions
diff --git a/rts/RetainerProfile.c b/rts/RetainerProfile.c
index d42de2e72d..47657a5500 100644
--- a/rts/RetainerProfile.c
+++ b/rts/RetainerProfile.c
@@ -69,8 +69,6 @@ information about the retainers is still applicable.
(4) printRetainer() and printRetainerSetShort() in RetainerSet.c.
*/
-// TODO: Change references to c_child_r in comments to 'data'.
-
/* -----------------------------------------------------------------------------
* Declarations...
* -------------------------------------------------------------------------- */
@@ -1276,14 +1274,8 @@ traverseSmallBitmap (traverseState *ts, StgPtr p, uint32_t size, StgWord bitmap,
*
* *cp is one of the following: TSO, AP_STACK.
*
- * If *cp is TSO, c == c_child_r.
- *
* stackStart < stackEnd.
*
- * RSET(c) and RSET(c_child_r) are valid, i.e., their
- * interpretation conforms to the current value of flip (even when they
- * are interpreted to be NULL).
- *
* If *c is TSO, its state is not ThreadComplete,or ThreadKilled,
* which means that its stack is ready to process.
*