Задачка №16

Объяснить поведение кода.

Эта задачка - в некотором смысле, продолжение предыдущей.

Предположим, у нас есть такой очень простой код:

procedure DoSomething;
begin
end;

procedure Work;
begin
  ...
  DoSomething; // <-
  ... 
end;

При некоторых условиях в отмеченной строке возбуждается исключение Access Violation.

Ваша задача - объяснить, как такое может быть.

При этом:

• Код присутствует в памяти и имеет правильные атрибуты защиты (PAGE_EXECUTEREAD).
• Это простая функция, не метод объекта.
• Функция вызывается напрямую (нет полиморфизма/опосредованного вызова, т.е. там просто "asm call DoSomething end").
• Код вызывающего и вызываемого находится в одном модуле, в вопросе нет DLL.
• Это не аппаратная проблема.
• Нет никаких внешних воздействий (отладчик, другие потоки, системный код).

Иными словами, возбуждение Access Violation напрямую связано с тем, как делается вызов функции на x86. Что бы это могло быть? И как тогда эта задачка связана с предыдущей?

Ответ.