rts: retainer: Remove outdated invariants on traversePushStack
authorDaniel Gröber <dxld@darkboxed.org>
Sun, 23 Jun 2019 16:54:50 +0000 (18:54 +0200)
committerDaniel Gröber <dxld@darkboxed.org>
Sun, 22 Sep 2019 13:18:10 +0000 (15:18 +0200)
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*'.

rts/RetainerProfile.c

index d42de2e..47657a5 100644 (file)
@@ -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.
  *