AUTOSAR C++14 Rule M5-0-6

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

Описание

Определение правила

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

Объяснение

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

Реализация Polyspace

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

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

Если вы ожидаете нарушения правил, но не видите его, обратитесь к разделу «Стандартные нарушения кодирования не отображаются».

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

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