exponenta event banner

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

Стандартный файл заголовка < setjmp.h > не должен использоваться

Описание

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

Стандартный файл заголовка < setjmp.h > не используется.

Объяснение

Используя setjmp и longjmp, можно обойти обычные механизмы вызова функций и вызвать неопределенное поведение.

Внедрение Polyspace

Если longjmp функция является макросом и макрос расширяется в коде, это правило нарушается. Предполагается, что правило 21.2 не нарушается.

Дополнительное сообщение в отчете

  • Макрос «< имя >» не используется.

  • Идентификатор XX не должен использоваться.

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

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

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

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