Я пытаюсь использовать clang-tidy в своей базе кода, и я получаю много ложных срабатываний из следующего шаблона
int *a;
if(config(some_value))
a = value;
...
if(config(some_value))
*a = other_value; // <-- deference of garbage value
функция конфигурации имеет свою настройку значения из файла назапуск и не изменяется после. Таким образом, все вызовы config (some_value) возвращают одно и то же значение.
Есть ли какой-нибудь способ пометить объявление config (), чтобы это было так?