MISRA C:2012 Rule 8.14

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

Описание

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

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

Объяснение

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

Реализация Polyspace

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

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

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

Примеры

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

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

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

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

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