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

An object shall not be assigned to an overlapping object.

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

説明

ルール定義

An object shall not be assigned to an overlapping object. 1

根拠

オブジェクトをメモリがオーバーラップしている別のオブジェクトにコピーする場合、動作は未定義です。

例外は次のとおりです。

  • あるオブジェクトを、メモリが厳密にオーバーラップしており、かつ互換性のある型の別のオブジェクトに代入する。

  • memmove を使用して、あるオブジェクトを別のオブジェクトにコピーする。

Polyspace 実装

ルールの仕様で規定されているように、チェッカーは次の場合に違反を報告します。

  • 共用体のメンバーが、その共用体の別のメンバーにコピーされる場合。

  • memcpy のソース引数とコピー先引数が、結果的にコピーがオーバーラップする方法で同じ配列を指している場合。

トラブルシューティング

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

例

すべて展開する

void func (void) {
    union {
        short i;
        int j;
    } a = {0}, b = {1};
    
    a.j = a.i;   //Noncompliant
    a = b;       //Compliant
}

この例では、a.i が a.j に代入される場合、ルールに違反します。2 つの変数にオーバーラップしているメモリ領域があるためです。

チェック情報

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

バージョン履歴

R2016b で導入

参考

トピック

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.