6.48 Получение адреса возврата или кадра функции

— Встроенная функция: void * __builtin_return_address (unsigned int level)

Эта функция возвращает адрес возврата текущей функции или одной из вызывающих функций. Аргумент level — это количество кадров для сканирования вверх по стеку вызовов. Значение 0 возвращает адрес возврата текущей функции, значение 1 возвращает адрес возврата вызывающей функции и так далее. При инлайнинге ожидается, что функция вернёт адрес функции, к которой происходит возврат. Чтобы обойти это поведение, используйте атрибут функции noinline.

Аргумент level должен быть целочисленной константой.

На некоторых машинах может быть невозможно определить адрес возврата любой функции, кроме текущей; в таких случаях или при достижении вершины стека эта функция возвращает 0 или случайное значение. Кроме того, __builtin_frame_address может использоваться для определения достижения вершины стека.

Возможна дополнительная пост-обработка возвращаемого значения, см. __builtin_extract_return_addr.

Эта функция должна использоваться только с ненулевым аргументом в целях отладки.

— Встроенная функция: void * __builtin_extract_return_addr (void *addr)

Адрес, возвращённый функцией __builtin_return_address, может потребоваться пропустить через эту функцию, чтобы получить фактический закодированный адрес. Например, на 31-разрядной платформе S/390 старший бит необходимо маскировать, а на платформах SPARC — добавить смещение для получения истинного адреса следующей выполняемой инструкции.

Если исправление не требуется, эта функция просто пропускает addr.

— Встроенная функция: void * __builtin_frob_return_address (void *addr)

Эта функция выполняет обратное действие функции __builtin_extract_return_addr.

— Встроенная функция: void * __builtin_frame_address (unsigned int level)

Эта функция похожа на __builtin_return_address, но она возвращает адрес кадра функции, а не адрес возврата функции. Вызов __builtin_frame_address со значением 0 возвращает адрес кадра текущей функции, со значением 1 возвращает адрес кадра вызывающей функции и так далее.

Кадр — это область в стеке, которая хранит локальные переменные и сохранённые регистры. Адрес кадра обычно является адресом первого слова, помещённого в стек функцией. Однако точное определение зависит от процессора и соглашения о вызовах. Если процессор имеет специальный регистр указателя кадра, и функция имеет кадр, то __builtin_frame_address возвращает значение регистра указателя кадра.

На некоторых машинах может быть невозможно определить адрес кадра любой функции, кроме текущей; в таких случаях или при достижении вершины стека эта функция возвращает 0, если указатель кадра первого кадра инициализирован кодом запуска.

Эта функция должна использоваться только с ненулевым аргументом в целях отладки.