> -- Oleg N. Cher писал(а):
> Судя по нашим с  изысканиям, консервативный сборщик ББ будет считать якорем даже произвольное 32-битное значение из стека, полученное пробегом по стеку с выравниванием на границу 32 бит, если это значение (будь оно куском данных массива/записи или куском значения LONGINT) случайно совпадёт с адресом выделенного блока.
Верно, сборщик засчитает такое значение из стека.

> -- Илья Ермаков писал(а):
> нетрассируемую переменную. По которой сборщик не ходит и якорем её не считает.
Верно, что если в куче структура с untagged указателями, то по ним сборщик не ходит.

Думаю, эту возможность кто-то придумал для использования как weak pointers. Да не доделал, т.к. как только мы говорим untagged, теряем управление целостностью указателей.