関数/メソッドの終了ポイントにおける矛盾を報告します。

以下のような矛盾が報告されます。

これらは厳密に言えば間違いではありませんが、一般的にはほぼプログラミングのミスです。