-
- for (w = weak_ptr_list; w; w = w->link) {
- IF_DEBUG(weak,fprintf(stderr,"Finalising weak pointer at %p -> %p\n", w, w->key));
- w->header.info = &DEAD_WEAK_info;
- rts_evalIO(w->finaliser,NULL);
+
+ while ((w = weak_ptr_list)) {
+ weak_ptr_list = w->link;
+ if (w->header.info != &DEAD_WEAK_info) {
+ w->header.info = &DEAD_WEAK_info;
+ IF_DEBUG(weak,fprintf(stderr,"Finalising weak pointer at %p -> %p\n", w, w->key));
+ if (w->finalizer != &NO_FINALIZER_closure) {
+ rts_evalIO(w->finalizer,NULL);
+ }
+ }