merge with head of branch

common/utils/T/T.h

@@ -188,12 +188,6 @@ extern T_cache_t *T_cache;
 
 #define T_HEADER(x) \
   do { \
-    if (!__builtin_types_compatible_p(typeof(x), struct T_header *)) { \
-      printf("%s:%d:%s: " \
-             "bad use of T, pass a message ID as first parameter\n", \
-             __FILE__, __LINE__, __FUNCTION__); \
-      abort(); \
-    } \
     struct timespec T_HEADER_time; \
     if (clock_gettime(CLOCK_REALTIME, &T_HEADER_time)) abort(); \
     memcpy(T_LOCAL_buf, &T_HEADER_time, sizeof(struct timespec)); \
@@ -205,12 +199,6 @@ extern T_cache_t *T_cache;
 
 #define T_HEADER(x) \
   do { \
-    if (!__builtin_types_compatible_p(typeof(x), struct T_header *)) { \
-      printf("%s:%d:%s: " \
-             "bad use of T, pass a message ID as first parameter\n", \
-             __FILE__, __LINE__, __FUNCTION__); \
-      abort(); \
-    } \
     T_PUT_int(1, (int)(uintptr_t)(x)); \
   } while (0)