Exponenta Banner

Division by zero

Происходит деление на нуль

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

Описание

Эта проверка определяет, является ли правый операнд операции деления или модуля нулем.

Примеры

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

#include <stdio.h>

void main() {
    int x=2;
    printf("Quotient=%d",100/(x-2));
}

В этом примере знаменатель x-2 равен нулю.

Коррекция - Проверяйте на нулевой знаменатель

Одной из возможных коррекций является проверка нулевого знаменателя перед делением.

В комплексном коде трудно отслеживать значения и избегать нулевых знаменателей. Поэтому рекомендуется проверять нулевой знаменатель перед каждым делением.

#include <stdio.h>
int input();
void main() {
    int x=input();
    if(x>0) { //Avoid overflow
        if(x!=2 && x>0)
            printf("Quotient=%d",100/(x-2));
        else
            printf("Zero denominator.");
    }
}
#include <stdio.h>
void main() {
    int x=-10;
    for (int i=0; i<10; i++)
        x+=3;
    printf("Quotient=%d",100/(x-20));
}

В этом примере знаменатель x-20 равен нулю.

Коррекция - Проверяйте на нулевой знаменатель

Одной из возможных коррекций является проверка нулевого знаменателя перед делением.

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

#include <stdio.h>
#define MAX 10000
int input();

void main() {
    int x=input();
    for (int i=0; i<10; i++) {
        if(x < MAX) //Avoid overflow
            x+=3;
    }

    if(x>0) { //Avoid overflow
        if(x!=20)
            printf("Quotient=%d",100/(x-20));
        else
            printf("Zero denominator.");
    }
}
#include<stdio.h>

void main() {
    printf("Sequence of ratios: \n");
    for(int count=-100; count<=100; count++)
        printf(" %.2f ", 1/count);
}

В этом примере count запуски от-100 до 100 через нуль. Когда count равен нулю, проверка Division by zero возвращает красную ошибку. Потому что чек возвращается зеленым в другом for цикл запускается, / символ оранжевый.

Существует также ошибка красного Non-terminating loop на for цикл. Эта красная ошибка указывает на определенную ошибку в одном из запусков.

Коррекция - Проверяйте на нулевой знаменатель

Одной из возможных коррекций является проверка нулевого знаменателя перед делением.

#include<stdio.h>

void main() {
    printf("Sequence of ratios: \n");
    for(int count=-100; count<=100; count++) {
        if(count != 0)
            printf(" %.2f ", 1/count);
        else
            printf(" Infinite ");
    }
}
#include <stdio.h>
#include <math.h>

#define stepSize 0.1

void main() {
    float divisor = -1.0;
    int numberOfSteps = (int)((2.0*1.0)/stepSize);

    printf("Divisor running from -1.0 to 1.0\n");
    for(int count = 1; count <= numberOfSteps; count++) {
        divisor+= stepSize;
	divisor = ceil(divisor * 10.) / 10.; // one digit of imprecision
        printf(" .2f ", 1.0/divisor);
    }
}

В этом примере divisor запуски от-1.0 до 1,0 до 0,0. Когда divisor равен 0,0, проверка Division by zero возвращает красную ошибку. Потому что чек возвращается зеленым в другом for цикл запускается, / символ оранжевый.

На Non-terminating loop нет ошибки for красного цвета цикл. Красная ошибка не отображается, поскольку Polyspace® аппроксимирует значения divisor по более широкой области значений. Поэтому Polyspace не может определить, существует ли определенная ошибка в одном из запусков.

Коррекция - Проверяйте на нулевой знаменатель

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

#include <stdio.h>
#include <math.h>

#define stepSize 0.1

void main() {
    float divisor = -1.0;
    int numberOfSteps = (int)((2*1.0)/stepSize);

    printf("Divisor running from -1.0 to 1.0\n");;
    for(int count = 1; count <= numberOfSteps; count++) {
        divisor += stepSize;
	divisor = ceil(divisor * 10.) / 10.; // one digit of imprecision
        if(divisor < -0.00001 || divisor > 0.00001)
            printf(" .2f ", 1.0/divisor);
        else
            printf(" Infinite ");
    }
}

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

Группа: Численный
Язык: C | C++
Акроним: ZDV

См. также

Темы

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

Поддержка