MISRA C:2012 Rule 21.4

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

Описание

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

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

Объяснение

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

Реализация Polyspace

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

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

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

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

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

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

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

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