Здравствуйте, пффф, Вы писали:

П>Это лютый костылище и пипецома подавлять предупреждения анализатора такими директивами.

Так я в курсе, а что есть лучшего? Будь у анализатора подходящее правило — я б применил его, но нету ж.

П>нестандартно

А что здесь стандартно?

П>в любой момент может начать работать по другому.

Как начнет, так и буду разбираться. Ежели очередная версия компилятора и перестанет генерить код возврата по __declspec (noreturn), я это увижу при первом же отладочном запуске. Но вероятность этого чуть меньше, чем нулевая, поскольку атрибут применяется уже очень давно, и поломается слишком многое.

П>__declspec (noreturn), как я понимаю, лучше?

На безрыбье — да.

ЕМ>>я привык к "нефатальным" assert'ам

П>Странная и вредная привычка.

Что в ней вредного? Assert'ы есть только в отладочном коде, который запускается только под отладчиком. Их задача — выявить несоответствия между внутренней логикой, поэтому в релизных сборках их нет. Внешние же несоответствия отсекаются другими методами. Это классический подход, который не менялся с незапамятных времен.