<?php
ob_start();
var_dump(intdiv(3, 2));
var_dump(intdiv(-3, 2));
var_dump(intdiv(3, -2));
var_dump(intdiv(-3, -2));
var_dump(intdiv(PHP_INT_MAX, PHP_INT_MAX));
var_dump(intdiv(~PHP_INT_MAX, ~PHP_INT_MAX));
try {
var_dump(intdiv(~PHP_INT_MAX, -1));
} catch (Throwable $e) {
echo "Exception: " . $e->getMessage() . "\n";
}
try {
var_dump(intdiv(1, 0));
} catch (Throwable $e) {
echo "Exception: " . $e->getMessage() . "\n";
}
$result = ob_get_contents();
ob_end_clean();
$expectedOutput = <<<EOT
int(1)
int(-1)
int(-1)
int(1)
int(1)
int(1)
Exception: Division of PHP_INT_MIN by -1 is not an integer
Exception: Division by zero
EOT;
if ($expectedOutput !== $result) {
throw new \Exception('fail');
}
- Output for 7.0.0 - 7.0.33, 7.1.0 - 7.1.33, 7.2.0 - 7.2.33, 7.3.0 - 7.3.33, 7.4.0 - 7.4.33, 8.0.0 - 8.0.30, 8.1.0 - 8.1.28, 8.2.0 - 8.2.18, 8.3.0 - 8.3.6
- Output for 5.4.0 - 5.4.45, 5.5.0 - 5.5.38, 5.6.0 - 5.6.40
- Fatal error: Call to undefined function intdiv() in /in/18bUE on line 5
Process exited with code 255.
preferences:
243.79 ms | 402 KiB | 375 Q