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

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