ISO/IEC TS 17961 [resident]

Using identifiers that are reserved for the implementation

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

説明

ルール定義

実装のために予約された識別子の使用。1

Polyspace 実装

このチェッカーは、予約された識別子またはマクロ名の宣言をチェックします。

例

すべて展開する

問題

この問題は、予約された識別子またはマクロ名を宣言する場合に発生します。

標準ライブラリ マクロ、オブジェクトまたは関数に対応するマクロ名を定義する場合、ルール 21.1 に違反しています。

ルールでは仮定義は定義と見なされます。

リスク

規格では予約された識別子を特別に扱う実装を許可しています。予約された識別子を再利用する場合、未定義の動作が発生する可能性があります。

チェック情報

決定可能性:決定可能

バージョン履歴

R2019a で導入

参考

トピック

1 Extracts from the standard "ISO/IEC TS 17961 Technical Specification - 2013-11-15" are reproduced with the agreement of AFNOR. Only the original and complete text of the standard, as published by AFNOR Editions - accessible via the website www.boutique.afnor.org - has normative value.