blob: 58891eb3fed943c18b1645b82c46c705f2a23de7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
--TEST--
Bug #54973: SimpleXML casts integers wrong
--SKIPIF--
<?php if (!extension_loaded('simplexml')) die('skip simplexml extension not loaded'); ?>
--FILE--
<?php
$xml = simplexml_load_string("<xml><number>9223372036854775808</number></xml>");
var_dump($xml->number);
$int = $xml->number / 1024 / 1024 / 1024;
var_dump($int);
$double = (double) $xml->number / 1024 / 1024 / 1024;
var_dump($double);
?>
--EXPECT--
object(SimpleXMLElement)#2 (1) {
[0]=>
string(19) "9223372036854775808"
}
float(8589934592)
float(8589934592)
|
