/* 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. */
-#include <iostream>
+#include <cstdint>
+#include <climits>
+
+#include <vector>
-#include <limits.h>
#include <stdlib.h>
#include <sys/types.h>
+
#ifndef WIN32
#include <sys/mman.h>
#include <unistd.h>
static const int PROT_RWX = (PROT_READ | PROT_WRITE | PROT_EXEC);
static const int PROT_RW = (PROT_READ | PROT_WRITE );
-static const int PROT_RX = (PROT_READ | PROT_EXEC );
+XBT_ATTRIB_UNUSED static const int PROT_RX = (PROT_READ | PROT_EXEC );
-void smpi_get_executable_global_size(void)
+void smpi_get_executable_global_size()
{
char buffer[PATH_MAX];
char* full_name = realpath(xbt_binary_name, buffer);