diff options
| author | Daniel Gröber <dxld@darkboxed.org> | 2019-06-23 18:54:50 +0200 |
|---|---|---|
| committer | Daniel Gröber <dxld@darkboxed.org> | 2019-09-22 15:18:10 +0200 |
| commit | cb7220b36cc34fe5e0545ab66ffb760363a244b1 (patch) | |
| tree | 7cbe5a079b83b7ba3116b40738a53d22a5fb7407 | |
| parent | bd78b6965c7077b0efe7a27ec591b8a954cbe1e6 (diff) | |
| download | haskell-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*'.
| -rw-r--r-- | rts/RetainerProfile.c | 8 |
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. * |