あまり技術的な質問ではないのですが、以下の関数について
bool F(bool b)
{
if(b){
return true;
}else{
return false;
}
//★
}

もれなくどちらかのreturn文が実行されることが確実な場合に、
★の位置にreturn文は書く必要はありますか？

（機能的に考えれば普通は書く必要は全く無いが、全ての処理系に対して
言語仕様の作法としてはどうあるべきかってことです）