From 794ae6fb64e89175b40288369011f4fc51e0ac53 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Mon, 24 Nov 2014 16:31:33 +0100
Subject: Use gettimeofday() instead of obsolete ftime(). (Patch by Daniel
 Dickman.)

---
 test/spass/clock.c | 26 +++++++++++++++++---------
 test/spass/clock.h |  4 ++--
 2 files changed, 19 insertions(+), 11 deletions(-)

(limited to 'test/spass')

diff --git a/test/spass/clock.c b/test/spass/clock.c
index 7106669a..d9472338 100644
--- a/test/spass/clock.c
+++ b/test/spass/clock.c
@@ -104,7 +104,7 @@ void clock_StartCounter(CLOCK_CLOCKS ClockCounter)
 **********************************************************/
 {
 #ifndef CLOCK_NO_TIMING
-  ftime(&(clock_Counters[ClockCounter]));
+  gettimeofday(&(clock_Counters[ClockCounter]), NULL);
 #endif
 }
 
@@ -121,7 +121,7 @@ void clock_StopPassedTime(CLOCK_CLOCKS ClockCounter)
 {
 #ifndef CLOCK_NO_TIMING
   CLOCK_TMS    newtime;
-  ftime(&newtime);
+  gettimeofday(&newtime, NULL);
   clock_Akku[ClockCounter] = clock_GetSeconds(ClockCounter);
 #endif
 }
@@ -139,7 +139,7 @@ void clock_StopAddPassedTime(CLOCK_CLOCKS ClockCounter)
 {
 #ifndef CLOCK_NO_TIMING
   CLOCK_TMS    newtime;
-  ftime(&newtime);
+  gettimeofday(&newtime, NULL);
   clock_Akku[ClockCounter] += clock_GetSeconds(ClockCounter);
 #endif
 }
@@ -157,13 +157,21 @@ float clock_GetSeconds(CLOCK_CLOCKS ClockCounter)
 {
 #ifndef CLOCK_NO_TIMING
   CLOCK_TMS    newtime;
-  ftime(&newtime);
-  return ((float) (newtime.time - clock_Counters[ClockCounter].time)
-	  + (((newtime.millitm - clock_Counters[ClockCounter].millitm))
-	     /(float)1000));
-#else
+  time_t       seconds_passed;
+  long         microseconds_passed;
+
+  gettimeofday(&newtime, NULL);
+
+  seconds_passed = newtime.tv_sec - clock_Counters[ClockCounter].tv_sec;
+  microseconds_passed = newtime.tv_usec - clock_Counters[ClockCounter].tv_usec;
+
+  return ((float) seconds_passed
+          + (microseconds_passed /(float)1000000));
+
+#else /* CLOCK_NO_TIMING */
   return 0;
-#endif
+#endif /* ! CLOCK_NO_TIMING */
+
 }
 
 #ifdef WIN
diff --git a/test/spass/clock.h b/test/spass/clock.h
index 6e675742..80f6c003 100644
--- a/test/spass/clock.h
+++ b/test/spass/clock.h
@@ -49,7 +49,7 @@
 
 #include "misc.h"
 #include <sys/types.h>
-#include <sys/timeb.h>
+#include <sys/time.h>
 
 typedef enum {
   clock_BACKTRACK,
@@ -61,7 +61,7 @@ typedef enum {
   clock_TYPESIZE
 } CLOCK_CLOCKS;
 
-typedef struct timeb CLOCK_TMS;
+typedef struct timeval CLOCK_TMS;
 
 void   clock_Init(void);
 void   clock_InitCounter(CLOCK_CLOCKS);
-- 
cgit