-/* Copyright (c) 2005-2010, 2012-2016. The SimGrid Team.
+/* Copyright (c) 2005-2019. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* http://www.ijs.si/software/snprintf/
*/
+/* find vasprintf in stdio.h */
+#ifndef _GNU_SOURCE
+# define _GNU_SOURCE
+#endif
+#include <stdio.h>
+
#include "xbt/sysdep.h" /* xbt_abort() */
#include "src/internal_config.h" /* Do we need vasprintf? */
-#include <stdio.h>
+
+#include <assert.h>
#if !HAVE_VASPRINTF
#include <stdarg.h> /* vsnprintf */
if (vasprintf(&res, fmt, ap) < 0) {
/* Do not want to use xbt_die() here, as it uses the logging
- * infrastucture and may fail to allocate memory too. */
+ * infrastructure and may fail to allocate memory too. */
fprintf(stderr, "bprintf: vasprintf failed. Aborting.\n");
xbt_abort();
}