Локальные переменные у HI-TECH в отдельном сегменте и имеют статические адреса. Линкер смотрит на дерево вызовов функций и на количество у них локальных переменных и выбирает минимальный размер сегмента для локальных переменных. Локальная переменная "убивается", но не в стеке, а просто другая локальная переменная сможет иметь точно такой же статический адрес, т. е. быть на ее месте - эта ячейка будет использоваться уже другой переменной.
(«Телесистемы»: Конференция «Микроконтроллеры и их применение»)