exponenta event banner

MISRA C:2012 Правило 8.14

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

Описание

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

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

Объяснение

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

Внедрение Polyspace

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

Поиск неисправностей

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

Примеры

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

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

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

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

Группа: Объявления и определения
Категория: Обязательно
СМЖЛ Категория: Консультативные услуги
Представлен в R2014b