Exponenta Banner

MISRA C++:2008 Rule 3-9-3

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

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

Описание

Примечание

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

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

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

Объяснение

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

Реализация Polyspace

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

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

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

Примеры

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

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

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

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

Группа: фундаментальные понятия
Категория: необходимый

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

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

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

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

Темы

Введенный в R2013b

Документация Polyspace Code Prover

Поддержка