php-src/Zend/tests/bug69957.phpt
2015-07-05 20:18:17 +02:00

85 lines
1.6 KiB
PHP

--TEST--
Bug #69957 (Different ways of handling div/mod by zero)
--FILE--
<?php
try {
$divisor = 0;
$result = 1 / $divisor;
var_dump($result);
} catch (DivisionByZeroError $t){
echo "Variable div\n";
printf("Type: %s\n", get_class($t));
printf("Message: %s\n", $t->getMessage());
}
try {
$divisor = 0;
$result = 1 % $divisor;
var_dump($result);
} catch (DivisionByZeroError $t){
echo "\nVariable mod\n";
printf("Type: %s\n", get_class($t));
printf("Message: %s\n", $t->getMessage());
}
try {
$result = 1 / 0;
var_dump($result);
} catch (DivisionByZeroError $t){
echo "\nLiteral div\n";
printf("Type: %s\n", get_class($t));
printf("Message: %s\n", $t->getMessage());
}
try {
$result = 1 % 0;
var_dump($result);
} catch (DivisionByZeroError $t){
echo "\nLiteral mod\n";
printf("Type: %s\n", get_class($t));
printf("Message: %s\n", $t->getMessage());
}
try {
$result = 1 / 0.0;
var_dump($result);
} catch (DivisionByZeroError $t){
echo "\nDouble div\n";
printf("Type: %s\n", get_class($t));
printf("Message: %s\n", $t->getMessage());
}
try {
$result = 1 % 0.0;
var_dump($result);
} catch (DivisionByZeroError $t){
echo "\nDouble mod\n";
printf("Type: %s\n", get_class($t));
printf("Message: %s\n", $t->getMessage());
}
?>
--EXPECTF--
Warning: Division by zero in %sbug69957.php on line %d
float(INF)
Variable mod
Type: DivisionByZeroError
Message: Modulo by zero
Warning: Division by zero in %sbug69957.php on line %d
float(INF)
Literal mod
Type: DivisionByZeroError
Message: Modulo by zero
Warning: Division by zero in %sbug69957.php on line %d
float(INF)
Double mod
Type: DivisionByZeroError
Message: Modulo by zero