MISRA C++:2008 Rule 0-1-10

Every defined function shall be called at least once

このページをすべて展開する

説明

ルール定義

Every defined function shall be called at least once 1

根拠

定義をもつ関数が呼び出されない場合、重大なコーディング エラーを示す場合があります。たとえば、関数呼び出しが到達不能だったり、別の関数が意図せずに呼び出されている場合です。

Polyspace 実装

チェッカーは、静的関数が定義されているが、その翻訳単位の中で一切呼び出されていない状況を検出します。

レポート内の追加のメッセージ

Every defined function shall be called at least once静的関数 funcName が呼び出されていません。

トラブルシューティング

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

例

すべて展開する

static void func1() {
}

static void func2() { //Noncompliant
}

void func3();

int main() {
    func1();
    return 0;
}

static 関数 func2 は定義済みですが呼び出されません。

関数 func3 も呼び出されませんが、これは宣言されているだけで、定義はされていません。func3 の呼び出しがないことはルール違反ではありません。

チェック情報

グループ: Language Independent Issues
カテゴリ: 必要

バージョン履歴

R2013b で導入

参考

トピック

1 All MISRA coding rules and directives are © Copyright The MISRA Consortium Limited 2021.

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.