MISRA C:2012 Rule 8.14

Ограничить спецификатор типа не должен использоваться

Описание

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

Ограничить спецификатор типа не должен использоваться.

Объяснение

Когда вы используете restrict спецификатор тщательно, это повышает эффективность кода, сгенерированного компилятором. Это может также улучшить статический анализ. Однако при использовании restrict спецификатор, это затрудняет, чтобы убедиться, что области памяти, управляемые на двумя или больше указателями, не накладываются.

Реализация Polyspace

Средство проверки правила отмечает все использование restrict спецификатор.

Обменивайтесь сообщениями в отчете

Ограничить спецификатор типа не должен использоваться.

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

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

Примеры

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

void f(int n, int * restrict p, int * restrict q)
{
}

В этом примере, обоих использовании restrict спецификатор отмечается.

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

Группа: объявления и определения
Категория: необходимый
Категория AGC: консультация
Язык: C99

Введенный в R2014b