> Do the GNU tools provide dead-code stripping?

> Имеется ли в природе GNU инструмент, который бы мог исключать неиспользуемый код из бинарника при компиляции?

Via gcc -ffunction-sections and ld --gc-sections if nothing else. I'm not

sure if the compiler is able to delete unused static functions altogether or

if it can just warn about them.

Можно попробовать через опцию компилятора gcc -ffunction-sections и опции линковщика ld --gc-sections если ничего другого нет. Я не уверен что компилятор сможет удалить неиспользуемые статические функции полность или он только сможет написать предупреждение что такие функции имеются.