Основная задача статических анализаторов — поиск ошибок, пропущенных разработчиками. Недавно команда PVS-Studio снова нашла интересный пример, доказывающий силу статического анализа. Вы должны быть очень внимательны при работе с инструментами статического анализа. Часто код, вызвавший срабатывание анализатора, кажется правильным. Таким образом, у вас возникает соблазн пометить предупреждение как ложное срабатывание. На днях мы попали в такую ​​ловушку. Вот как это оказалось...