[php-maint] Bug#827486: php5-dev: integer overflow on x32

[jose]

Package: php5-dev
Version: 5.6.12+dfsg-0+deb8u1
Severity: important

Dear Maintainer,

Seems integer overflow is bogus on x32 arch

According to php doc 

> If PHP encounters a number beyond the bounds of the integer type, it will
> be interpreted as a float instead. Also, an operation which results in a
> number beyond the bounds of the integer type will return a float instead.

http://php.net/manual/en/language.types.integer.php

This works fine on i386

php -r 'echo("Number: " . (2147483647 + 1) . "\n");'
Number: 2147483648

The same code on x32

php -r 'echo("Number: " . (2147483647 + 1) . "\n");'
Number: -2147483648


-- System Information:
Debian Release: 8.1
Architecture: x32 (x86_64)
Foreign Architectures: amd64

Kernel: Linux 3.16.0-4-amd64 (SMP w/2 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

Versions of packages php5-dev depends on:
ii  autoconf      2.69-8
ii  automake      1:1.14.1-4
ii  libpcre3-dev  2:8.35-3.3+x32
ii  libssl-dev    1.0.1k-3+deb8u1
ii  libtool       2.4.2-1.11
ii  php5-common   5.6.12+dfsg-0+deb8u1
ii  shtool        2.0.8-6

Versions of packages php5-dev recommends:
ii  dh-php5        0.2
ii  pkg-php-tools  1.28

php5-dev suggests no packages.

-- no debconf information