На самом деле не совсем так. Судя по таблице линкера 0000B7H PDATA + 000CECH XDATA + 000FFFH HDATA. Стек то ведь то же туда же укладывается. Посмотрите в симуляторе, что пишется в регистр SP. Можно так же "покрутить" программу и посмотреть значение SP_max. Впрочем можно посмотреть эти значения и в листинге, если он генерируется. Потом изменить модель памяти на LARGE и посмотреть все те же значения. Уверяю Вас, все строго определено и ни компайлер ни линкер каких либо вольностей себе не позволяют.
Несколько лет назад переживал примерно похожий "кризис веры в Keil", пока не обнаружил, что в одной из моих процедур маска ограничивающая размер буфера была по ошибке выбрана больше размера самого буфера на целый разряд.
|