Почему не выдает ошибку - зависит от многих факторов, типа выравнивания локальных переменных - простых и record - в стеке, размещения в стеке входных параметров функций и возвращаемых результатов, которое в частности зависит и от настроек компилятора.
Как поправил.
Чисто логически нужно размещать меньшую переменную в памяти большей

НО, конкретно в этой процедуре в этом нет никакой необходимости, так как наружу из процедуры требуется выдать только bb.Height + bb.Width, а ShiftWidth - это обычная локальная переменная. Поэтому предлагаю code_30102.txt
[offtop]А вот имитация, на которой баг таки вылазит: test absolute bug.sha[/offtop]

------------ Дoбавленo в 12.45:
faniss, твой code_30085.txt в Delphi тоже стабильно падает, так что в этом случае причина не в компиляторе, а в особенностях работы паралельных потоков с визуальными компонентами (да и многими другими, которые не тестировались на такое использование). Проблема с TCP пока остается.