最近の検索
検索オプション
私としては素直には受け入れ難いけど、たとえば「プログラムに与える入力は、必ず、絶対に、注意深く、事前定義されたいくらかの候補や事前検証された形式のものしか使わないので、プログラム側で実行時に意図せぬ入力を考慮する必要はない」みたいなこともあるかもしれない。
その場合は明らかに未定義動作が心配されるコードであっても未定義動作パスは (運用上) 絶対に踏まないので無駄なチェックは積極的に省きたということになる。
職場でやられたら絶対反対するけど！！！
プログラム単位だとマジかよとなるけど、プログラム内の小さなモジュール単位だとこういうことは当たり前のようにやっているので……
境界の切り方の問題に過ぎないといえるかもしれない