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