Функции стандартной библиотеки: abort, exit, getnenv и system из <stdlib.h> не должны использоваться
Функции стандартной библиотеки: abort, exit, getnenv и system из <stdlib.h> не должны использоваться.
Использование этих функций может привести к неопределенному и определяемому реализацией поведению.
Polyspace ® помечает использование abort, exit, _Exit, или quick_exit функции, определенные в <stdlib.h>.
Если эти функции определены пользователем, Polyspace не помечает их.
Макрос «< имя >» не используется.
Идентификатор XX не должен использоваться.
Если вы ожидаете нарушения правила, но не видите его, обратитесь к разделу Нарушения стандартов кодирования не отображаются.
| Группа: Стандартные библиотеки |
| Категория: Обязательно |
| Категория СМЖЛ: требуется |