-Werror = format: откуда компилятору узнать

Насколько я понимаю, компилятор не может определить, что код неправильный, потому что строка формата не анализируется до времени выполнения.

Пока строка формата является строковым литералом, ее можно проанализировать во время компиляции. Если это не так (что обычно является плохой идеей), вы можете получить предупреждение об этом от -Wformat-security.

есть ли у компилятора специальная функция, которая срабатывает для printf и подобных функций libc?

да.

или это функция, которую я мог бы использовать для своих собственных функций?

Да, если вы используете тот же стиль строки формата, что и printf (или различные другие стандартные функции, такие как scanf или strftime).

void my_printf(Something, char const * format, SomethingElse, ...)
    __attribute__ ((format (printf,2,4)));

чтобы указать, что второй аргумент является строкой формата в стиле printf, а значения для форматирования начинаются с четвертого. См. http://gcc.gnu.org/onlinedocs/gcc/Function-Attributes.html. .

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

В документации для -Wformat сказано, что именно это и происходит:

-Wformat

-Wformat=n

Проверьте вызовы printf и scanf и т. Д., Чтобы убедиться, что предоставленные аргументы имеют> типы, соответствующие указанной строке формата, и что преобразования, указанные в строке формата, имеют смысл. Сюда входят стандартные функции и другие, определенные атрибутами формата (см. Атрибуты функций) в семействах printf, scanf, strftime и strfmon (расширение X / Open, не в стандарте C) (или других целевых семействах). Какие функции проверяются без указания атрибутов формата, зависит от выбранной стандартной версии, и такие проверки функций без указанного атрибута отключаются -ffreestanding или -fno-builtin.

Форматы проверяются на соответствие функциям формата, поддерживаемым GNU libc версии 2.2. К ним относятся все функции ISO C90 и C99, а также функции из спецификации Single Unix и некоторые расширения BSD и GNU. Другие реализации библиотеки могут не поддерживать все эти функции; GCC не поддерживает предупреждения о функциях, выходящих за рамки ограничений конкретной библиотеки. Однако, если -Wpedantic используется с -Wformat, выдаются предупреждения о функциях формата, не входящих в выбранную стандартную версию (но не для форматов strfmon, поскольку их нет ни в одной из версий стандарта C). См. Параметры, управляющие диалектом C.

Обновление. Оказывается, вы можете использовать его в своих собственных функциях. У Майка есть подробности.