Как сказать ccc-analyzer (статический анализатор C в clang), что функция не может вернуться
Я сейчас пользуюсь ccc-analyzer посредством static-build проанализировать нашу кодовую базу. Я использую недавнюю сборку, которую я сделал из зеркала Git.
Теперь в PC-Lint я могу сказать Lint всякий раз, когда функция не возвращается. Обычно это делается через /*lint -unreachable*/ или аналогичные комментарии ("разметка"), управляющие поведением PC-Lint.
С scan-build Сейчас я сталкиваюсь с рядом ложных срабатываний, которые я хотел бы подавить, потому что я знаю, что определенная функция никогда не вернется (в конечном итоге она вызывает exit функция C времени выполнения). Есть ли способ сказать static-build/ccc-analyzer что моя функция не может вернуться?
1 ответ
Оказывается, есть способ аннотировать код с помощью атрибутов в стиле GCC, как описано здесь. Так что на вопрос дан ответ.