#define xbt_free(p) free(p) /*nothing specific to do here. A poor valgrind replacement? */
#ifdef __cplusplus
-#define XBT_FREE_NOEXCEPT noexcept(noexcept(std::free))
+#define XBT_FREE_NOEXCEPT noexcept(noexcept(::free))
#else
#define XBT_FREE_NOEXCEPT
#endif
/* these two functions belong to xbt/sysdep.h, which have no corresponding .c file */
/** @brief like xbt_free, but you can be sure that it is a function */
-void xbt_free_f(void* p) noexcept(noexcept(std::free))
+void xbt_free_f(void* p) noexcept(noexcept(::free))
{
xbt_free(p);
}
/** @brief should be given a pointer to pointer, and frees the second one */
-void xbt_free_ref(void* d) noexcept(noexcept(std::free))
+void xbt_free_ref(void* d) noexcept(noexcept(::free))
{
xbt_free(*(void**)d);
}