-/* xbt.h - Public interface to the xbt (simgrid's toolbox) */
+/* xbt.h - Public interface to the xbt (simgrid's toolbox) */
-/* Copyright (c) 2004-2015. The SimGrid Team.
- * All rights reserved. */
+/* Copyright (c) 2004-2015. The SimGrid Team. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
#ifndef XBT_BASE_H
#define XBT_BASE_H
-#include "simgrid_config.h"
-
/* Define _GNU_SOURCE for getline, isfinite, etc. */
#ifndef _GNU_SOURCE
#define _GNU_SOURCE
#endif
+// Teach the compiler that some code path is unreacheable:
+#if defined(__has_builtin)
+ #if __has_builtin(__builtin_unreachable)
+ #define XBT_UNREACHABLE() __builtin_unreachable()
+ #else
+ #include <stdlib.h>
+ #define XBT_UNREACHABLE() abort()
+ #endif
+#elif (__GNUC__ > 4) || (__GNUC__ == 4 && __GNUC_MINOR__ >= 5)
+ #define XBT_UNREACHABLE() __builtin_unreachable()
+#else
+ #include <stdlib.h>
+ #define XBT_UNREACHABLE() abort()
+#endif
+
/* On MinGW, stdio.h defines __MINGW_PRINTF_FORMAT and __MINGW_SCANF_FORMAT
which are the suitable format style (either gnu_printf or ms_printf)
depending on which version is available (__USE_MINGW_ANSI_STDIO): */
# define XBT_IMPORT_NO_EXPORT(type) type
# define XBT_PUBLIC_DATA(type) extern type
# define XBT_PUBLIC_CLASS class
-# define XBT_PRIVATE
+# define XBT_PRIVATE /** @private */
#endif
#define TRUE 1
#define FALSE 0
-/*! C++ users need love */
+/* C++ users need love */
#ifndef SG_BEGIN_DECL
# ifdef __cplusplus
# define SG_BEGIN_DECL() extern "C" {