#43487 [Ctl->Csd]: [PATCH] Wrong conversion of float to string

From: Date: Sun, 27 Jul 2008 12:01:24 +0000
Subject: #43487 [Ctl->Csd]: [PATCH] Wrong conversion of float to string
References: 1  Groups: php.bugs 
Request: Send a blank email to php-bugs+get-127312@lists.php.net to get a copy of this message
 ID:               43487
 Updated by:       dmitry@php.net
 Reported By:      jm at wo dot cz
-Status:           Critical
+Status:           Closed
 Bug Type:         Scripting Engine problem
 Operating System: Linux
 PHP Version:      5.2.6
 Assigned To:      dmitry
 New Comment:

The proposed patch has been comitted into CVS HEAD, PHP_5_3 and
PHP_5_2, however I was never able to reproduce the bug I cannot be sure
that it is fixed.

Please verify it and reopen in case of failure.


Previous Comments:
------------------------------------------------------------------------

[2008-02-15 08:54:24] tony2001@php.net

Not reproducible with GCC 4.3.0 & 4.3.2 with -O3 on Linux 64bit.

------------------------------------------------------------------------

[2008-02-14 23:31:30] jani@php.net

Dmitry, can you check this out? There's a patch too. :)

------------------------------------------------------------------------

[2008-02-11 17:49:44] oeriksson at mandriva dot com

Here's a shorter URL that hopefully won't wrap:

http://n1.nux.se/php-5.2.5-use-volatile-to-force-float-store.patch

------------------------------------------------------------------------

[2008-02-01 12:07:10] oeriksson at mandriva dot com

Pascal Rigaux at Mandriva has a patch for this, please review it.

http://svn.mandriva.com/cgi-bin/viewvc.cgi/packages/cooker/php/current/SOURCES/php-5.2.5-use-volatile-to-force-float-store.patch?revision=161099&view=markup

------------------------------------------------------------------------

[2008-01-31 15:42:55] oeriksson at mandriva dot com

Update; taken from our bugzilla:

"as peroyvind found, the miscompilation is inside Zend/zend_strtod.c,
and -no-ftree-vrp workaround the bug."

------------------------------------------------------------------------

The remainder of the comments for this report are too long. To view
the rest of the comments, please view the bug report online at
    http://bugs.php.net/43487

-- 
Edit this bug report at http://bugs.php.net/?id=43487&edit=1



Thread (19 messages)

« previous php.bugs (#127312) next »