Проверка операции не производится верификацией.

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

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

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

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

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

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

Несмотря на то, что Overflow проверяют / операция красная, верификация продолжается. Например, зеленая проверка Non-initialized local variable появится на x в return оператор.

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

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

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

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

Верификация останавливается, потому что Overflow проверяет / операция красная. Например, проверка Non-initialized local variable не отображается на x в return оператор.