static void xbt_preinit()
{
- unsigned int seed = 2147483647;
#ifdef _WIN32
SYSTEM_INFO si;
GetSystemInfo(&si);
xbt_log_preinit();
xbt_dict_preinit();
- srand(seed);
#ifndef _WIN32
- srand48(seed);
+ constexpr unsigned seed = 2147483647;
+ srand48(seed); // FIXME: still worthwhile?
#endif
atexit(xbt_postexit);
}
/* 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)
+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)
+void xbt_free_ref(void* d) noexcept(noexcept(::free))
{
xbt_free(*(void**)d);
}