# define XBT_ATTRIB_NORETURN __attribute__((__noreturn__))
# define XBT_ATTRIB_UNUSED __attribute__((__unused__))
+# define XBT_ATTRIB_DEPRECATED(m) __attribute__((__deprecated__(m)))
/* Constructor priorities exist since gcc 4.3. Apparently, they are however not
* supported on Macs. */
# define _XBT_GNUC_CONSTRUCTOR(prio) __attribute__((__constructor__))
# define _XBT_GNUC_DESTRUCTOR(prio) __attribute__((__destructor__))
# endif
-# undef _XBT_NEED_INIT_PRAGMA
#if defined(__GNUC__)
# define XBT_ALWAYS_INLINE inline __attribute__ ((always_inline))