非健全な関数の定義を読んでください。

砕けた言い方にすると、非健全なコードはよくありません。いや、それでは控えめすぎます。非健全なコードは悪いのです。文書化されたルールどおりに振る舞っていても、非健全なコードはそれでも UB を引き起こし得ます！

私たちは、リポジトリに非健全なコードが一切含まれていてほしくありません。

非健全なコードを見つけることが、コードレビューの第一の目標です。