/* Declare xbt_preinit and xbt_postexit as constructor/destructor of the library.
* This is crude and rather compiler-specific, unfortunately.
*/
-static void xbt_preinit(void) _XBT_GNUC_CONSTRUCTOR(200);
-static void xbt_postexit(void);
+static void xbt_preinit() _XBT_GNUC_CONSTRUCTOR(200);
+static void xbt_postexit();
#ifdef _WIN32
#include <windows.h>
#endif
-static void xbt_preinit(void) {
+static void xbt_preinit()
+{
unsigned int seed = 2147483647;
#ifdef _WIN32
SYSTEM_INFO si;
atexit(xbt_postexit);
}
-static void xbt_postexit(void)
+static void xbt_postexit()
{
- if (!_sg_do_clean_atexit)
+ if (not _sg_do_clean_atexit)
return;
xbt_initialized--;
xbt_dict_postexit();
xbt_cmdline = xbt_dynar_new(sizeof(char*), NULL);
for (int i = 0; i < *argc; i++)
xbt_dynar_push(xbt_cmdline,&(argv[i]));
-
+
xbt_log_init(argc, argv);
}
}
/** @brief Kill the program in silence */
-void xbt_abort(void)
+void xbt_abort()
{
#ifdef COVERAGE
/* Call __gcov_flush on abort when compiling with coverage options. */
- extern void __gcov_flush(void);
+ extern void __gcov_flush();
__gcov_flush();
#endif
#ifdef _WIN32