Что Вы хотели этим сказать, что бывает атрибут always_inline? Так это в мануале прописано... Тут разговор о другом, что даже без упоминания о inline, простой статик частенько позволяет компилятору инлайнить статические функции. Всё. Конец мысли.

Гарантированно инлайн и никаких мыслей более

Для этих целей у меня специальный макрос заготовлен:

И обязательно рядом

тоже бывает нужен.

Верно, что не должен, но не поэтому. Как уже сказал aesok, линкер не работает с функциями. Линкер работает с секциями. Он либо включает секцию в выходной файл, либо не включает. Целью приведенного мной примера было показать, что в сгенеренном ассемблером объектном файле вообще нет глобального символа foo, таким образом, линкер вообще не узнает о существовании такой функции.

Нет, нету глобального символа foo, потому что функция foo статическая и ее область видимости ограничивается одним модулем.



Если компилятор не проинлайнит функцию foo, а то линкер увидет метку foo. И в даном случае при компиляции примера без оптимизации видим:




Анатолий.

Так это же локальный символ - буква "t" маленькая. Разве линкер работает с локальными символами? Я почему-то считал, что он работает только с глобальными, а локальные его интересовать совершенно не должны. Это будет диверсия, если линкер удовлетворит внешнюю ссылку локальным объектом...