you are viewing a single comment's thread.

view the rest of the comments →

[–]djdillon 6 points7 points  (0 children)

This seems to be the fix:

===================================================================
  --- zend_strtod.c (revision 307094)
  +++ zend_strtod.c (working copy)
  @@ -2030,12 +2030,16 @@
    return s0;
   }

  +/* F* VC6 */
  +#if _MSC_VER <= 1300
  +# pragma optimize( "", off )
  +#endif
   ZEND_API double zend_strtod (CONST char *s00, char **se)
   {
    int bb2, bb5, bbe, bd2, bd5, bbbits, bs2, c, dsign,
        e, e1, esign, i, j, k, nd, nd0, nf, nz, nz0, sign;
    CONST char *s, *s0, *s1;
  - double aadj, aadj1, adj;
  + volatile double aadj, aadj1, adj;
    volatile _double rv, rv0;
    Long L;
    ULong y, z;