Exponenta Banner
exponenta event 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

Поддержка