| J.3.2: Среда | Альтернативный способ, которым может быть задана функция main. | Анализ отмечает main с помощью аргументов, и возвратите типы кроме: или int main(int argc, char *argv[]) { ... }Смотрите раздел 5.1.2.2.1 из Стандарта C99. |
| J.3.2: Среда | Набор имен среды и метода для изменения списка сред используется функцией getenv. | Анализ отмечает использование функции getenv. Для этой функции необходимо знать список переменных окружения и как список изменяется. Смотрите раздел 7.20.4.5 из Стандарта C99. |
| J.3.6: плавающая точка | Округляющиеся поведения охарактеризованы нестандартными значениями FLT_ROUNDS. | Анализ отмечает включать float.h, если значения FLT_ROUNDS вне набора, {-1, 0, 1, 2, 3}. Только значения в этом наборе приводят к четко определенному поведению округления. Смотрите раздел 5.2.4.2.2 из Стандарта C99. |
| J.3.6: плавающая точка | Методы оценки охарактеризованы нестандартными отрицательными величинами FLT_EVAL_METHOD. | Анализ отмечает включать float.h, если значения FLT_EVAL_METHOD вне набора, {-1, 0, 1, 2}. Только значения в этом наборе приводят к четко определенному поведению для операций с плавающей точкой. Смотрите раздел 5.2.4.2.2 из Стандарта C99. |
| J.3.6: плавающая точка | Направление округления, когда целое число преобразовано в число с плавающей запятой, которое не может точно представлять исходное значение. | Анализ отмечает преобразования от целого числа до типов данных с плавающей точкой меньшего размера (например, 64-битный int к 32-битному float). Смотрите раздел 6.3.1.4 из Стандарта C99. |
| J.3.6: плавающая точка | Направление округления, когда число с плавающей запятой преобразовано в более узкое число с плавающей запятой. | Анализ отмечает эти преобразования:
Смотрите раздел 6.3.1.5 из Стандарта C99. |
| J.3.6: плавающая точка | Состояние по умолчанию для прагмы FENV_ACCESS. | Анализ отмечает использование прагмы кроме: #pragma STDC FENV_ACCESS ON #pragma STDC FENV_ACCESS OFF Смотрите раздел 7.6.1 из Стандарта C99. |
| J.3.6: плавающая точка | Состояние по умолчанию для прагмы FP_CONTRACT. | Анализ отмечает использование прагмы кроме: #pragma STDC FP_CONTRACT ON #pragma STDC FP_CONTRACT OFF Смотрите раздел 7.12.2 из Стандарта C99. |
| J.3.11: предварительная обработка директив | Поведение на каждом распознало non-STDC #pragma директива. | Анализ отмечает использование прагмы: где обрабатывающий маркерный STDC сразу не делает followpragma. Например:Смотрите раздел 6.10.6 из Стандарта C99. |
| J.3.12: Библиотечные функции | Повышает ли функция feraiseexcept ''неточное'' исключение с плавающей точкой в дополнение к ''переполнению'', или ''недостаточно заполните'' исключение с плавающей точкой. | Анализ отмечает вызовы функции feraiseexcept. Смотрите раздел 7.6.2.3 из Стандарта C99. |
| J.3.12: Библиотечные функции | Строки кроме "C" и "", который может быть передан в качестве второго аргумента функции setlocale. | Анализ отмечает вызовы функции setlocale, когда ее вторым аргументом не является "C" или "". Смотрите раздел 7.11.1.1 из Стандарта C99. |
| J.3.12: Библиотечные функции | Типы задали для float_t и double_t, когда значение макроса FLT_EVAL_METHOD - меньше чем 0 или больше, чем 2. | Анализ отмечает включать math.h, если FLT_EVAL_METHOD имеет значения вне набора {0,1,2}. Смотрите раздел 7.12 из Стандарта C99. |
| J.3.12: Библиотечные функции | Основа 2 логарифма модуля, используемого the remquo, функционирует в сокращении частного. | Анализ отмечает вызовы remquo, remquof и функции remquol. Смотрите раздел 7.12.10.3 из Стандарта C99. |
| J.3.12: Библиотечные функции | Состояние завершения, возвращенное в серверную среду abort, exit или функцией _Exit. | Анализ отмечает вызовы abort, exit или функции _Exit. Смотрите разделы 7.20.4.1, 7.20.4.3 или 7.20.4.4 из Стандарта C99. |
