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

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

Описание

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

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

Объяснение

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

Реализация Polyspace

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

Обменивайтесь сообщениями в отчете

  • Макрос' <имя> не должен использоваться.

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

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

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

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

Группа: стандартные библиотеки
Категория: необходимый
Категория AGC: необходимый
Язык: C90, C99

Введенный в R2014b