Здравствуйте Alaxandr, Вы писали:

A>Это я <Аноним>, задавший вопрос.

A>Я думаю, что при компиляции всегда будут включаются ВСЕ описанные мной функции(не включение их будет недостатком линковщика),

Неверно. И почему недостаток то? Если адрес функции нигде не встречается (ни в сегменте данных, ни в секции кода), то объясните мне каким макаром эта функция может позваться? Откуда? Сделайте простой пример, скомпиляйте _релиз_ версию и все будет понятно.

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