Fix time_to_msec() precision
authorMarco Costalba <mcostalba@gmail.com>
Sat, 10 Mar 2012 18:38:56 +0000 (19:38 +0100)
committerMarco Costalba <mcostalba@gmail.com>
Sat, 10 Mar 2012 18:38:56 +0000 (19:38 +0100)
Result of t.time * 1000 should be a 64 bit value, not an int.

Bug reported by several users.

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
src/types.h

index 25eef007e74e0176249ae134dadee87d38ab7911..4c8c813408993a33706d4eab4aaf1b0c1d3f8587 100644 (file)
@@ -65,13 +65,13 @@ typedef unsigned __int64 uint64_t;
 typedef _timeb sys_time_t;
 
 inline void system_time(sys_time_t* t) { _ftime(t); }
 typedef _timeb sys_time_t;
 
 inline void system_time(sys_time_t* t) { _ftime(t); }
-inline uint64_t time_to_msec(const sys_time_t& t) { return t.time * 1000 + t.millitm; }
+inline uint64_t time_to_msec(const sys_time_t& t) { return t.time * 1000LL + t.millitm; }
 #else
 #  include <sys/time.h>
 typedef timeval sys_time_t;
 
 inline void system_time(sys_time_t* t) { gettimeofday(t, NULL); }
 #else
 #  include <sys/time.h>
 typedef timeval sys_time_t;
 
 inline void system_time(sys_time_t* t) { gettimeofday(t, NULL); }
-inline uint64_t time_to_msec(const sys_time_t& t) { return t.tv_sec * 1000 + t.tv_usec / 1000; }
+inline uint64_t time_to_msec(const sys_time_t& t) { return t.tv_sec * 1000LL + t.tv_usec / 1000; }
 #endif
 
 #if defined(_WIN64)
 #endif
 
 #if defined(_WIN64)