Любое значение, переданное функции в <ctype.h>
должно быть представимо как unsigned char
или быть значением EOF
Любое значение, переданное функции в <ctype.h>
должно быть представимо как unsigned char
или значение EOF.
Это правило получено от MISRA C®: 2012 1 о внесении изменений.
Функции в <ctype.h>
иметь четко определенное поведение только для int
аргументы, значение которых находится в области значений unsigned char
или отрицательное значение эквивалентный EOF
. Использование других значений приводит к неопределенному поведению.
Polyspace® считает, что отрицательный эквивалент значения EOF равен -1, и не вызывает нарушения, если вы передаете -1 в качестве аргумента функции в ctype.h
.
Если вы ожидаете нарушения правил, но не видите его, обратитесь к разделу «Стандартные нарушения кодирования не отображаются».
Группа: Стандартные библиотеки |
Категория: Обязательная |
Категория AGC: Обязательно |