AUTOSAR C++14 Rule M5-0-6

Неявное интегральное или преобразование с плавающей точкой не должно уменьшать размер базового типа

Описание

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

Неявное интегральное или преобразование с плавающей точкой не должно уменьшать размер базового типа.

Объяснение

Преобразование, которое уменьшает размер базового типа, может привести к потере информации.

Реализация Polyspace

Если преобразование до более узкого целого числа с различным знаком, то правило M5-0-4 более приоритетно по сравнению с правилом M5-0-6. Только правило M5-0-4 показывают.

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

Если вы ожидаете нарушение правила, но не видите его, обратитесь к Кодированию Стандартных Нарушений, Не Отображенных.

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

Группа: Выражения
Категория: необходимый, автоматизированный
Введенный в R2019a