MISRA C++:2023 Rule 0.1.1

A value should not be unnecessarily written to a local object

R2024b 以降

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

説明

ルール定義

A value should not be unnecessarily written to a local object. ¹

根拠

変数に値を代入したが、後でその変数値を使用しない場合は、代入でプログラミングエラーが発生する可能性があります。変数を使用する予定だったが使用しなかったか、他の変数を誤って使用した可能性があります。

Polyspace 実装

ルールチェッカーは、代入された値が後で使用されない場合、ファイルスコープが設定されたローカル変数と静的変数への値の代入に対して違反を報告します。(チェッカーは、extern 指定子のない const 修飾付きグローバル変数を、ファイルスコープを持つ静的変数と見なします。)

チェッカーは、以下の場合に違反を報告します。

初期化された変数が使用されない場合の初期化。
代入された値が使用されない場合の値の代入。
たとえば、変数に値を代入した後、次に変数を読み取る前に別の値を代入した場合などです。この場合、チェッカーは最初の冗長な代入にフラグを設定します。唯一の例外は、値が "変数の初期化時" に代入され、後で上書きされる場合です。

ループの最後の反復で、1 つ前の反復の代入が余剰ではない場合、チェッカーは違反を報告しません。たとえば、関数 func() でのループの最後の反復の代入 prevIter = i は余剰ですが、1 つ前の反復の代入は余剰ではありません。

void doSomething(int);

void func() {
  int prevIter=-1, uBound=100;
  for(int i=0; i < uBound; i++) {
        doSomething(prevIter);
        prevIter = i;
  }
}

トラブルシューティング

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

例

すべて展開する

使用されない初期化値

class largeInteger {
       largeInteger(int d1, int d2, int d3):
            lastFiveDigits(d1), nextFiveDigits(d2), firstFiveDigits(d3){}
       largeInteger& operator=(const largeInteger& other) {
            if(&other !=this) {
              firstFiveDigits = other.firstFiveDigits;
              nextFiveDigits = other.nextFiveDigits;
              lastFiveDigits = other.lastFiveDigits;
            }
            return *this;
       }
       void printIntegerValue();
    private:
        int firstFiveDigits;
        int nextFiveDigits;
        int lastFiveDigits;
};

bool compareValues(largeInteger, largeInteger);

void func() {
    largeInteger largeUnit{10000,0,0};         //Compliant
    largeInteger smallUnit{1,0,0};             //Compliant
    largeInteger tinyUnit{0,1,0};              //Noncompliant
    if(compareValues (largeUnit, smallUnit)) {
        //Perform some action   
    }
}

この例では、変数 tinyUnit は初期化されますが、一度も使用されません。

チェック情報

グループ: Language Independent Issues

カテゴリ: 推奨

バージョン履歴

R2024b で導入

参考

MISRA C++:2023 のチェック (-misra-cpp-2023)

トピック

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

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.