> Модули нужны, чтобы не тащить ненужные символы из заголовков в таблицы компилятора,
> а то и в объектные файлы. Это реально ускоряет работу и
> компилятора и компоновщика и, собственно, программы.

Программ? Каким образом? И чем это лучше исключения ненужного кода/данных при LTO?

> Не зря же заголовки набиты
> #ifdef'ами -- все, не относящееся к делу, существенно замедляет работу компилятора,
> поскольку все символы нужно заносить в словарь символов.

В заголовках директивы препроцессора обычно используют для выбора варианта кода под какую-то из нескольких архитектур/платформ, таким образом после препроцессора получается в объёме примерно одинаково. Компилятор вообще не видит токены препроцессора. Да и перевод исходника в абстрактное дерево существенно быстрее, чем оптимизация. Достаточно сравнить время трансляции с -O0 и -O2.