MISRA C:2012 Rule 8.14

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

Описание

Определение правила

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

Объяснение

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

Реализация Polyspace

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

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

Если вы ожидаете нарушения правил, но не видите его, обратитесь к разделу «Стандартные нарушения кодирования не отображаются».

Примеры

расширить все

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

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

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

Группа: Декларации и определения
Категория: Требуемая
Категория СМЖЛ: Консультационная
Введенный в R2014b