C and C++


LANG.ID.ND.SS : 区別できない識別子:同じスコープ

要旨

同じスコープ内で宣言されている複数の識別子が区別できません。

複数の識別子の最初のN個の文字が同じ文字列(大文字、小文字は区別)となっています。

関連したワーニングクラスの Identifier Classes を参照してください。

プロパティ

クラス名 Non-distinct Identifiers: Same Scope
日本語クラス名 区別できない識別子:同じスコープ
クラス分類 スタイル (style)
ニーモニック LANG.ID.ND.SS
カテゴリー
MisraC2023 MisraC2023:5.2 Identifiers declared in the same scope and name space shall be distinct
Misra2012 Misra2012:5.2 Identifiers declared in the same scope and name space shall be distinct
Misra2004 Misra2004:5.1 Identifiers (internal and external) shall not rely on the significance of more than 31 characters
AUTOSARC++14 AUTOSARC++14:A2-10-6 A class or enumeration name shall not be hidden by a variable, function or enumerator declaration in the same scope.
MisraC++2008 MisraC++2008:2-10-6 If an identifier refers to a type, it shall not also refer to an object or a function in the same scope.
CWE CWE:710 Improper Adherence to Coding Standards
CERT-C CERT-C:DCL23-C Guarantee that mutually visible identifiers are unique
JSF++ JSF++:46 User-specified identifiers (internal and external) will not rely on significance of more than 64 characters.
対応言語 C および C++ で利用可能です。
有効/無効設定 このワーニングクラスのチェックはデフォルトで無効になっており、プロジェクトには非正規の C向けAST が必要になります。有効にするにはプロジェクト設定ファイル (configuration file) に以下の WARNING_FILTER ルールと RETAIN_UNNORMALIZED_C_AST 設定を追加してください。
RETAIN_UNNORMALIZED_C_AST = Yes
WARNING_FILTER += allow class="Non-distinct Identifiers: Same Scope"
注:非正規化された AST を継続して使用した場合、使用ディスク容量が増加し解析時間が長くなる可能性があります。

SIGNIFICANCE_LEN_OTHER=-1 が設定されているものとします。

このワーニングクラスの検出は、識別子が同じファイル内に存在する必要がないことに注意してください。

void lang_id_nd_ss(void){
    /* pair 1:  distinct in first 31 characters */
    int neither1234567890A;
    int neither1234567890B;

    /* pair 2:  distinct in first 63 characters; not distinct in first 31 characters
     *  - 'Non-distinct Identifiers: Same Scope' warning issued for C90 only */
    int c90only123456789012345678901234567890A;
    int c90only123456789012345678901234567890B;

    /* pair 3:  not distinct in first 63 characters
     *  - 'Non-distinct Identifiers: Same Scope' warning issued for both C90 and C99 */
    int both123456789012345678901234567890123456789012345678901234567890A;
    int both123456789012345678901234567890123456789012345678901234567890B;
        
    /* ... */
}

関連のある設定ファイルパラメータ

設定ファイルの以下のパラメータがこのワーニングクラスのチェックに影響します。