MISRA C:2023 Rule 7.1

Octal constants shall not be used

R2024a 以降

説明

ルール定義

Octal constants shall not be used ¹ .

根拠

8 進数の定数は先頭の 0 で表されます。冗長な先頭の 0 のため、開発者は 8 進数の定数と 10 進数の定数を間違える可能性があります。

Polyspace 実装

マクロ定義で 8 進数の定数を使用している場合、そのマクロが使用されない場合でもルールチェッカーはこの問題にフラグを設定します。

トラブルシューティング

ルール違反を想定していてもその違反が表示されない場合、コーディング規約違反が想定どおりに表示されない理由の診断を参照します。

例

例 - 8 進数の定数の使用

#define CST     021              /* Noncompliant */
#if 010 == 01                    /* Noncompliant*/
#define CST 021                  
#endif

extern short code[5];
static char* str2 = "abcd\0efg";  /* Compliant */

void main(void) {
    int value1 = 0;               /* Compliant */
    int value2 = 01;              /* Noncompliant*/
    int value3 = 1;               /* Compliant */
    int value4 = '\109';          /* Compliant */

    code[1] = 109;                /* Compliant     - decimal 109 */
    code[2] = 100;                /* Compliant     - decimal 100 */
    code[3] = 052;                /* Noncompliant */
    code[4] = 071;                /* Noncompliant */

    if (value1 != CST) {          
        value1 = !(value1 != 0);  /* Compliant */
    }
}

この例では、Polyspace^® が 8 進数の定数の使用にフラグを設定します。

チェック情報

グループ: リテラルおよび定数

カテゴリ: 必要

AGC カテゴリ: 推奨

バージョン履歴

R2024a で導入

すべて展開する

R2025a: 8 進数の定数を定義する未使用のマクロに対しては違反が報告されない

Polyspace は、マクロが 8 進数の定数を定義していても、そのマクロがコード内で使用されていなければ、違反を報告しません。マクロ定義に対して違反が報告されます。

#define MY_OCTAL 0100       //Noncompliant
#define OCTAL_NOT_USED 0100
void func(void) {

	int a = MY_OCTAL;

}

このコードでは、マクロ MY_OCTAL の定義が違反として報告されますが、未使用のマクロ OCTAL_NOT_USED の定義にはフラグが設定されません。

参考

MISRA C:2023 のチェック (-misra-c-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.