MISRA C:2012 Rule 21.4

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

Описание

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

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

Объяснение

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

Реализация Polyspace

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

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

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

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

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

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

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

Группа: стандартные библиотеки
Категория: необходимый
Категория AGC: необходимый
Введенный в R2014b