Issue #18028: Fix aliasing issue in READ_TIMESTAMP() of ceval.c  on x86_64,
when Python is configure with --with-tsc. Patch written by Christian Heimes.
diff --git a/Python/ceval.c b/Python/ceval.c
index bafb88c..118f2b7 100644
--- a/Python/ceval.c
+++ b/Python/ceval.c
@@ -65,9 +65,11 @@
    even in 64-bit mode, we need to use "a" and "d" for the lower and upper
    32-bit pieces of the result. */
 
-#define READ_TIMESTAMP(val) \
-    __asm__ __volatile__("rdtsc" : \
-                         "=a" (((int*)&(val))[0]), "=d" (((int*)&(val))[1]));
+#define READ_TIMESTAMP(val) do {                        \
+    unsigned int h, l;                                  \
+    __asm__ __volatile__("rdtsc" : "=a" (l), "=d" (h)); \
+    (val) = ((uint64)l) | (((uint64)h) << 32);          \
+    } while(0)
 
 
 #else