このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
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® から報告されない場合は、コーディング規約違反が想定どおりに表示されない理由の診断を参照してください。
例
チェック情報
グループ: 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.