MISRA C++:2008 Rule 6-6-5

A function shall have a single point of exit at the end of the function

説明

ルール定義

A function shall have a single point of exit at the end of the function ¹

根拠

このルールでは return ステートメントが関数本体の最後のステートメントとして記述されなければなりません。それ以外の場合は、以下の問題が発生する可能性があります。

return ステートメントに後に続くコードが意図せずに省略される可能性がある。
一部の引数を変更する関数に早期の return ステートメントがある場合、コードを解読する際にどの変更が実際に発生するのかすぐには分かりにくい。

Polyspace 実装

チェッカーは以下の状況にフラグを設定します。

関数に複数の return ステートメントがある。
非 void 関数に return ステートメントは 1 つしかないが、この return ステートメントが関数の最後のステートメントになっていない。

void 関数に return ステートメントがある必要はありません。return ステートメントが存在する場合でも、それが関数の最後のステートメントになる必要はありません。

トラブルシューティング

ルール違反が想定されるものの、Polyspace^® から報告されない場合は、コーディング規約違反が想定どおりに表示されない理由の診断を参照してください。

チェック情報

グループ: Statements

カテゴリ: 必要

バージョン履歴

R2013b で導入

すべて展開する

R2024b: `do`-`while` ステートメントの最終行としての `return` ステートメント

return ステートメントが do-while ステートメントの do 部分の最終行である場合、Polyspace はこのルールの違反を報告しません。以下に例を示します。

uint8_t exampleA(void) {
     do {
          uint8_t a;
          a = get_uint8();
          return(a);            //Compliant
     }
     while (0);
}

参考

MISRA C++:2008 をチェック (-misra-cpp)

トピック

コーディング規約違反のチェックおよびレビュー

The MISRA coding standards referenced in the Polyspace Bug Finder™ documentation are from the following MISRA standards:

MISRA C:2004
MISRA C:2012
MISRA C:2023
MISRA C++:2008
MISRA C++:2023

MISRA and MISRA C are registered trademarks of The MISRA Consortium Limited 2021.