IAR EW MISRA C

Справочник

Правило 103 (О) К типам указателей операторы отношения могут применяться только если оба операнда имеют один и тот же тип и указывают на один и тот же массив, структуру или объединение.

Как проверяется правило

Компилятор и компоновщик не проверяют нарушение этого правила.

Правило 104 (О) Допускается использование только константных указателей на функции.

Как проверяется правило

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

∙константных значений;

∙указателей на функции.

Правило 105 (О) Все функции, вызываемые одним указателем на функцию должны иметь одинаковое число и типы параметров, и тип возвращаемого значения.

Как проверяется правило

Компилятор выдает ошибку, если производится явное или неявное

приведение типа указателя на функцию одного типа к типу указателя на функцию иного типа.

Правило 106 (О) Адрес объекта с автоматическим классом хранения не должен присваиваться указателю, который может сохраняться после того, как объект перестает существовать.

Как проверяется правило

Компилятор и компоновщик не проверяют нарушение этого правила.

Правило 107 (О) Ссылка по нуль-указателю не допускается.

Как проверяется правило

Компилятор и компоновщик не проверяют нарушение этого правила.

Структуры и объединения

Правила данного раздела относятся к описанию и использованию структур и объединений.

Правило 108 (О) В описании типа структуры или объединения все члены должны быть специфицированы полностью.

Как проверяется правило

Компилятор выдает ошибку, если поле объявляется массивом без размера.