Проверка не приводит к проверке операции.

Например, в следующем коде отсутствует операция Invalid на floats.

double func(void) {
    double x=1.0/0.0;
    double y=x-x;
    return y;
}

Проверка производит проверку операции. Проверка определяет, является ли результатом операции NaN, если сами операнды не являются NaN. Например, проверка помечает операцию val1 + val2 только если результатом может быть NaN, когда оба val1 и val2 не являются NaN. Проверка не завершает поток выполнения, который создает NaN.

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

Например, в следующем коде существует неблокирующая операция Invalid on floats check for NaN.

double func(void) {
    double x=1.0/0.0;
    double y=x-x;
    return y;
}

Несмотря на то, что операция Invalid on floats проверена на - операция красного цвета, проверка продолжается. Например, зеленая неинициализированная проверка локальной переменной появляется на y в return заявление.

Проверка производит проверку операции и завершает поток выполнения, который создает NaN.

Если проверка имеет красный цвет, проверка не продолжается для оставшегося кода в той же области, что и проверка. Если проверка является оранжевой, проверка продолжается, но удаляет из рассмотрения значения переменных, которые создали NaN.

Например, в следующем коде имеется блокирующая операция Invalid на floats check for NaN.

double func(void) {
    double x=1.0/0.0;
    double y=x-x;
    return y;
}

Проверка прекращается, так как операция Invalid on floats на - операция красного цвета. Например, неинициализированная проверка локальной переменной не отображается на y в return заявление.

Проверка недопустимости операции на плавающем режиме для NaN также отображается на / и имеет зеленый цвет.