Exponenta Banner

AUTOSAR C++ 14 правил M3-9-3

Базовые битные представления значений с плавающей точкой не должны использоваться.

расширьте все на странице

Описание

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

Базовые битные представления значений с плавающей точкой не должны использоваться.

Объяснение

Базовые битные представления значений с плавающей точкой отличаются через компиляторы. Если вы непосредственно используете базовое представление значений с плавающей точкой, ваша программа не является портативной через реализации.

Реализация Polyspace

Средство проверки правила отмечает преобразования от указателей до типов с плавающей точкой в указатели на целочисленные типы, и наоборот.

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

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

Примеры

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

float fabs2(float f) {
    unsigned int* ptr = reinterpret_cast <unsigned int*> (&f); //Noncompliant
    *(ptr + 3) &= 0x7f;
    return f;
}

В этом примере reinterpret_cast пытается бросить значение с плавающей точкой к целому числу и получить доступ к базовому битному представлению значения с плавающей точкой.

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

Группа: фундаментальные понятия

Смотрите также

Темы

Введенный в R2019a

Документация Polyspace Bug Finder
Поддержка