From: Derick Rethans <github@derickrethans.nl>
Date: Mon, 20 Mar 2017 17:48:15 +0000 (+0000)
Subject: Fix for #73837: "new DateTime()" with a cast to double
X-Git-Tag: php-7.1.4RC1~19
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=2b7c3831cdc9a0e708040af37d8cf8967755bce3;p=php

Fix for #73837: "new DateTime()" with a cast to double
---

diff --git a/ext/date/php_date.c b/ext/date/php_date.c
index 30b40cdb9c..25373d0f08 100644
--- a/ext/date/php_date.c
+++ b/ext/date/php_date.c
@@ -2548,7 +2548,7 @@ static void update_errors_warnings(timelib_error_container *last_errors) /* {{{
 
 static void php_date_set_time_fraction(timelib_time *time, int microseconds)
 {
-	time->f = microseconds / 1000000;
+	time->f = (double) microseconds / 1000000;
 }
 
 static void php_date_get_current_time_with_fraction(time_t *sec, suseconds_t *usec)