Значение выражения не должно присваиваться объекту с более узким существенным типом или другой категории существенного типа
Значение выражения не присваивается объекту с более узким существенным типом или другой категории существенного типа.
Использование неявных преобразований между типами может привести к непреднамеренным результатам, включая возможную потерю значения, знака или точности.
Для получения дополнительной информации о важных типах смотрите MISRA C:2012 Rule 10.1.
Проверка вызывает нарушение, если выражение назначено переменной с более узким существенным типом или другой существенной категорией типов.
Шашка не поднимает нарушения этого правила:
Если выражение просто является постоянным нулями.
Если константа со знаком назначена беззнаковой переменной, но константа со знаком имеет то же представление, что и ее беззнаковый эквивалент. Например, чекер не помечает операторы, такие как:
unsigned int u = 1;
Выражение присваивается объекту с другой категорией основных типов.
Выражение назначается объекту с более узким существенным типом.
Если вы ожидаете нарушения правил, но не видите его, обратитесь к разделу «Стандартные нарушения кодирования не отображаются».
| Группа: Модель Essential Type |
| Категория: Требуемая |
| Категория СМЖЛ: Консультационная |
