いや、ダメじゃなかったっけ？returnの省略。ＣではＯＫだったけど
それが許されたら、unreached pathの評価に矛盾が出る気がする