int server(int argc, char *argv[])
{
- gras_socket_t me = NULL, pal = NULL;
+ volatile gras_socket_t me = NULL, pal = NULL;
int myport;
char *palstr;
xbt_ex_t e;
- int got_expected;
- double now;
+ _XBT_GNUC_UNUSED int got_expected;
+ _XBT_GNUC_UNUSED double now;
gras_init(&argc, argv);
int client(int argc, char *argv[])
{
- gras_socket_t me = NULL, pal = NULL;
+ volatile gras_socket_t me = NULL, pal = NULL;
int myport;
char *palstr;