diff options
author | Ben Gamari <ben@well-typed.com> | 2021-01-03 17:50:43 -0500 |
---|---|---|
committer | Ben Gamari <ben@well-typed.com> | 2021-01-03 17:50:43 -0500 |
commit | 87d849334ebbd331392dddb1c91b0f72e1e4ef7d (patch) | |
tree | f695fc516bed2bee98f081b67db2cff7c3b4b0c7 | |
parent | 26a928b8fdb1b4ccb75e8edb620b8cf12cb38621 (diff) | |
download | haskell-87d849334ebbd331392dddb1c91b0f72e1e4ef7d.tar.gz |
rts/Sanity: Allow DEAD_WEAKs in weak pointer listwip/T19162
The weak pointer check in `checkGenWeakPtrList` previously failed to
account for dead weak pointers. This caused `fptr01` to fail in the
`sanity` way.
Fixes #19162.
-rw-r--r-- | rts/sm/Sanity.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/sm/Sanity.c b/rts/sm/Sanity.c index d3c18adbd5..193a1a884c 100644 --- a/rts/sm/Sanity.c +++ b/rts/sm/Sanity.c @@ -330,7 +330,7 @@ checkGenWeakPtrList( uint32_t g ) { for (StgWeak *w = generations[g].weak_ptr_list; w != NULL; w = w->link) { ASSERT(LOOKS_LIKE_CLOSURE_PTR(w)); - ASSERT(w->header.info == &stg_WEAK_info); + ASSERT(w->header.info == &stg_WEAK_info || w->header.info == &stg_DEAD_WEAK_info); ASSERT(LOOKS_LIKE_CLOSURE_PTR(w->key)); ASSERT(LOOKS_LIKE_CLOSURE_PTR(w->value)); ASSERT(LOOKS_LIKE_CLOSURE_PTR(w->finalizer)); |