MISRA C:2012 Rule 5.1

Внешние идентификаторы должны быть отличными

Описание

Управляйте определением

Внешние идентификаторы должны быть отличными.

Объяснение

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

Если различие между двумя именами происходит намного позже на имена, они могут быть легко приняты друг за друга. Удобочитаемость кода уменьшается.

Реализация Polyspace

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

Дополнительное сообщение в отчете

Внешний %s %s конфликты с внешним идентификатором XX в файле YY.

Поиск и устранение проблем

Если вы ожидаете нарушение правила, но не видите его, обратитесь к Кодированию Стандартных Нарушений, Не Отображенных.

Примеры

развернуть все

C90: сначала шесть символов идентификаторов, не уникальных

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

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

C99: сначала 31 символ идентификаторов, не уникальных

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.

C90: сначала шесть идентификаторов символов в различных модулях перевода отличаются в случае, если один

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

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

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

Проверяйте информацию

Группа: Идентификаторы

Категория: необходимый

Категория AGC: необходимый

Темы

Введенный в R2014b

Документация Polyspace Code Prover

Поддержка

Памятка переводчика

1. Если смысл перевода понятен, то лучше оставьте как есть и не придирайтесь к словам, синонимам и тому подобному. О вкусах не спорим.

2. Не дополняйте перевод комментариями “от себя”. В исправлении не должно появляться дополнительных смыслов и комментариев, отсутствующих в оригинале. Такие правки не получится интегрировать в алгоритме автоматического перевода.

3. Сохраняйте структуру оригинального текста - например, не разбивайте одно предложение на два.

4. Не имеет смысла однотипное исправление перевода какого-то термина во всех предложениях. Исправляйте только в одном месте. Когда Вашу правку одобрят, это исправление будет алгоритмически распространено и на другие части документации.

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

Документация