Проблема возникает, когда внешние идентификаторы имеют одни и те же первые шесть символов для C90 или те же первые 31 символ для C99.

Проверка не помечает эту проблему в анализе Polyspace ® по умолчанию в качестве кода. См. раздел Шашки, деактивированные в Polyspace как анализ кода по умолчанию (Polyspace Bug Finder Access).

Внешние идентификаторы объявлены с глобальной областью или классом хранения extern.

Polyspace рассматривает два имени как отдельные, если есть разница между их первыми 31 символами. Если разница между двумя именами возникает только за пределами первых 31 символа, их можно легко принять друг за друга. Читаемость кода снижается. Для C90 разница должна возникать между первыми шестью символами. Для проверки правил C90 используйте значение c90 для опции C standard version (-c-version).

int engine_temperature_raw;
int engine_temperature_scaled;   /* Non-compliant */					
int engin2_temperature;          /* Compliant */	

В этом примере идентификатор engine_temperature_scaled имеет те же первые шесть символов, что и предыдущий идентификатор, engine_temperature_raw.

int engine_exhaust_gas_temperature_raw;
int engine_exhaust_gas_temperature_scaled; /* Non-compliant */					

int eng_exhaust_gas_temp_raw;
int eng_exhaust_gas_temp_scaled;           /* Compliant */						

В этом примере идентификатор engine_exhaust_gas_temperature_scaled имеет тот же первый 31 символ, что и предыдущий идентификатор, engine_exhaust_gas_temperature_raw.

/* file1.c */
int abc = 0;

/* file2.c */
int ABC = 0; /* Non-compliant */

В этом примере реализация поддерживает шесть значимых символов без учета регистра во внешних идентификаторах. Идентификаторы в двух переводах различны, но не отличаются своими значимыми символами.

Проблема возникает, когда вы объявляете идентификаторы в той же области и пространстве имен, а идентификаторы имеют те же первые 31 символ в C90 или те же первые 63 символа в C99.

Polyspace рассматривает два имени как отдельные, если есть разница между их первыми 63 символами. Если разница между двумя именами возникает только за пределами первых 63 символов, их можно легко принять друг за друга. Читаемость кода снижается. Для C90 разница должна быть между первыми 31 символами. Для проверки правил C90 используйте значение c90 для опции C standard version (-c-version).

extern int engine_exhaust_gas_temperature_raw;
static int engine_exhaust_gas_temperature_scaled;      /* Non-compliant */

extern double engine_exhaust_gas_temperature_raw;
static double engine_exhaust_gas_temperature2_scaled;  /* Compliant */

void func ( void )
{
  /* Not in the same scope */
  int engine_exhaust_gas_temperature_local;            /* Compliant */
}

В этом примере идентификатор engine_exhaust_gas_temperature_scaled имеет тот же 31 символ, что и предыдущий идентификатор, engine_exhaust_gas_temperature_raw.

Правило не применяется, если два идентификатора имеют одинаковый 31 символ, но разные области. Например, engine_exhaust_gas_temperature_local имеет тот же 31 символ, что и engine_exhaust_gas_temperature_raw но разная сфера охвата.

extern int engine_xxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_x_raw;
static int engine_xxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_x_scale;
    /* Non-compliant */

extern int engine_gas_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx__raw;
static int engine_gas_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx__scale;
    /* Compliant */

void func ( void )
{
/* Not in the same scope */
    int engine_xxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_x_local;
          /* Compliant */
}

В этом примере идентификатор engine_xxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_x_scale имеет те же 63 символа, что и предыдущий идентификатор, engine_xxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_x_raw.

Проблема возникает при использовании идентификаторов макросов, которые имеют один и тот же первый 31 символ в C90 или тот же первый 63 символа в C99.

Имена идентификаторов макросов должны отличаться от других идентификаторов макросов и их параметров.

Polyspace рассматривает два имени как отдельные, если есть разница между их первыми 63 символами. Если разница между двумя именами возникает только за пределами первых 63 символов, их можно легко принять друг за друга. Читаемость кода снижается. Для C90 разница должна быть между первыми 31 символами. Для проверки правил C90 используйте значение c90 для опции C standard version (-c-version).

#define engine_exhaust_gas_temperature_raw egt_r
#define engine_exhaust_gas_temperature_scaled egt_s   /* Non-compliant */

#define engine_exhaust_gas_temp_raw egt_r
#define engine_exhaust_gas_temp_scaled egt_s          /* Compliant */

В этом примере макрос engine_exhaust_gas_temperature_scaled egt_s имеет тот же первый 31 символ, что и предыдущий макрос engine_exhaust_gas_temperature_scaled.

#define engine_xxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_raw egt_r
#define engine_xxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_raw_scaled egt_s
    /* Non-compliant */

/* 63 significant case-sensitive characters in macro identifiers */
#define new_engine_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_raw egt_r
#define new_engine_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_scaled egt_s
    /* Compliant */

В этом примере макрос engine_xxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx___gaz_scaled имеет те же первые 63 символа, что и предыдущий макрос engine_xxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx_xxxxxxxxx___raw.

Проблема возникает, когда идентификаторы не отличаются от имен макросов.

Правило требует, чтобы имена макросов, существующие только до обработки, отличались от имен идентификаторов, также существующих после предварительной обработки. Сохранение отличительных имен и идентификаторов макросов позволяет избежать путаницы.

Polyspace рассматривает два имени как отдельные, если есть разница между их первыми 63 символами. Если разница между двумя именами возникает только за пределами первых 63 символов, их можно легко принять друг за друга. Читаемость кода снижается. Для C90 разница должна быть между первыми 31 символами. Для проверки правил C90 используйте значение c90 для опции C standard version (-c-version).

#define Sum_1(x, y) ( ( x ) + ( y ) )
short Sum_1;                    /* Non-compliant */

#define Sum_2(x, y) ( ( x ) + ( y ) )
short x = Sum_2 ( 1, 2 );       /* Compliant */

В этом примере: Sum_1 является как именем идентификатора, так и макросом. Sum_2 используется только в качестве макроса.

#define	   low_pressure_turbine_temperature_1 lp_tb_temp_1
static int low_pressure_turbine_temperature_2;	  /* Non-compliant  */	

В этом примере идентификатор low_pressure_turbine_temperature_2 имеет тот же первый 31 символ, что и предыдущий макрос low_pressure_turbine_temperature_1.