Здравствуйте, пффф, Вы писали:
П>Это лютый костылище и пипецома подавлять предупреждения анализатора такими директивами.
Так я в курсе, а что есть лучшего? Будь у анализатора подходящее правило — я б применил его, но нету ж.
П>нестандартно
А что здесь стандартно?
П>в любой момент может начать работать по другому.
Как начнет, так и буду разбираться. Ежели очередная версия компилятора и перестанет генерить код возврата по __declspec (noreturn), я это увижу при первом же отладочном запуске. Но вероятность этого чуть меньше, чем нулевая, поскольку атрибут применяется уже очень давно, и поломается слишком многое.
П>__declspec (noreturn), как я понимаю, лучше?
На безрыбье — да.
ЕМ>>я привык к "нефатальным" assert'ам
П>Странная и вредная привычка.
Что в ней вредного? Assert'ы есть только в отладочном коде, который запускается только под отладчиком. Их задача — выявить несоответствия между внутренней логикой, поэтому в релизных сборках их нет. Внешние же несоответствия отсекаются другими методами. Это классический подход, который не менялся с незапамятных времен.