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

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

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

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

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

Например, в следующем коде существует неблокирующая проверка переполнения на бесконечность.

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

Несмотря на то, что проверка переполнения на / операция красного цвета, проверка продолжается. Например, зеленая неинициализированная проверка локальной переменной появляется на x в return заявление.

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

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

Например, в следующем коде имеется блокирующая проверка переполнения на бесконечность.

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

Проверка прекращается, поскольку проверка переполнения на / операция красного цвета. Например, неинициализированная проверка локальной переменной не отображается на x в return заявление.