MISRA C:2012 Rule 12.4

Оценка константных выражений не должна приводить к переносу беззнаковых целых чисел

Описание

Примечание

Используйте Bug Finder вместо Code Prover для проверки правил кодирования. Поддержка кодирования правил, регистрируясь в Code Prover будет удалена в будущем релизе. См. Вопросы совместимости.

Управляйте определением

Оценка константных выражений не должна приводить к переносу беззнаковых целых чисел.

Объяснение

Выражения беззнаковых целых чисел строго не переполняются, но вместо этого повторяются. Несмотря на то, что могут быть серьезные основания использовать арифметику по модулю во время выполнения, намеренное использование во время компиляции менее вероятно.

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

Если вы ожидаете нарушение правила, но не видите его, относитесь, чтобы Диагностировать, Почему Кодирующие Стандартные Нарушения Не Появляются как ожидалось.

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

Группа: Выражения
Категория: консультация
Категория AGC: консультация

Вопросы совместимости

развернуть все

Не рекомендуемый запуск в R2021b