Соглашения о вызовах C и переданные аргументы

Question

При вызове функции в Linux (или OS X, если на то пошло), может ли пользователь изменить значения аргументов в стеке? Я полагал, что поскольку вызывающий абонент очищает их, они должны содержать те же значения после вызова функции. Однако я обнаружил, что GCC с -O2 изменяет параметры, которые были переданы ему в стеке. Я также искал документацию, включая соглашения о вызовах System V i386, но не смог найти окончательный ответ на этот вопрос.

Вот пример кода, который я отлаживал.

pushl %eax  # %eax = 0x28 
call _print_any 
popl %eax 
       # %eax is now 0x0a 

Я предположил бы, что GCC изменение этого параметра в стеке в порядке, но я хочу знать, где указано, что он может сделать это.

Answer 1

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

В примере, который вы опубликовали, GCC выпустил инструкцию popl %eax, чтобы освободить пространство, занимаемое параметром в стеке. Все, что действительно нужно сделать, это добавить 4%% esp (стек на x86 растет вниз в памяти), а выполнение инструкции popl %eax - это самый короткий и быстрый способ сделать это. Если компилятору необходимо было освободить 20 значений, вероятно, он изменил бы% esp напрямую, вместо того, чтобы выдавать 20 popl инструкций.

Возможно, вы обнаружите, что новое значение% eax не используется в следующем коде.

Answer 2

Да, вызываемый может изменять аргументы в стеке. Что касается вызываемого абонента, то они совпадают с локальными переменными. Вызывающий выполняет их очистку, но игнорирует значение.

Если вы говорите на C или C++ POD, очистка просто изменяет указатель стека.

Если вы говорите о C++ с деструктором, вызывающий отвечает за вызов деструктора, но деструкторы для общих классов должны быть записаны для очистки любого значения.

Answer 3

В стандарте C вызывающий абонент может изменять значения своих аргументов всем, что он хочет, но вызывающий не увидит изменений.

Что может сбивать с толку, так это то, что если вы передаете POINTER в значение, тогда вызывающий может изменить это значение, разыменовывая указатель, но если вызываемый на самом деле изменяет сам указатель, вызывающий объект не увидит это изменение.

Небольшой нит: стандарт C не требует, чтобы реализация даже имела стек.

Answer 4

Если вы пройдете по значению:

call do_it(to_it); 

Аргумент копируется (вероятно, в начале стека, но, возможно, не в зависимости от компилятора) с одноклеточной программы могут связываться с этой копией столько, сколько он хочет но переменная в программе clling не будет изменена.

Если вы пройдете по ссылке:

call do_it(&to_it); 

Тогда адрес переменной передается. Любые изменения, вызванные вызываемой переменной, будут относиться к исходной переменной в вызывающей программе.