Code cleanup in order to better conform with the C11 standard.

Author: nkallima

README.md

@@ -217,7 +217,7 @@ volatile int64_t object CACHE_ALIGN;
 int64_t d1 CACHE_ALIGN, d2;
 SynchBarrier bar CACHE_ALIGN;
 
-inline static void *Execute(void *Arg) {
+static void *Execute(void *Arg) {
     long i, id;
 
     id = synchGetThreadId();

benchmarks/activesetbench.c

@@ -17,7 +17,7 @@ volatile ToggleVector active_set CACHE_ALIGN;
 SynchBarrier bar CACHE_ALIGN;
 SynchBenchArgs bench_args CACHE_ALIGN;
 
-inline static void *Execute(void *Arg) {
+static void *Execute(void *Arg) {
     long i, rnum, mybank;
     volatile long j;
     int id = synchGetThreadId();

benchmarks/ccheapbench.c

@@ -17,7 +17,7 @@ int64_t d1 CACHE_ALIGN, d2;
 SynchBarrier bar CACHE_ALIGN;
 SynchBenchArgs bench_args CACHE_ALIGN;
 
-inline static void *Execute(void* Arg) {
+static void *Execute(void* Arg) {
     CCHeapThreadState *th_state;
     long i, rnum;
     volatile int j;

benchmarks/ccqueuebench.c

@@ -18,7 +18,7 @@ int64_t d1 CACHE_ALIGN, d2;
 SynchBarrier bar CACHE_ALIGN;
 SynchBenchArgs bench_args CACHE_ALIGN;
 
-inline static void *Execute(void *Arg) {
+static void *Execute(void *Arg) {
     CCQueueThreadState *th_state;
     long i, rnum;
     volatile int j;

benchmarks/ccstackbench.c

@@ -17,7 +17,7 @@ int64_t d1 CACHE_ALIGN, d2;
 SynchBarrier bar CACHE_ALIGN;
 SynchBenchArgs bench_args CACHE_ALIGN;
 
-inline static void *Execute(void *Arg) {
+static void *Execute(void *Arg) {
     CCStackThreadState *th_state;
     long i, rnum;
     volatile int j;

benchmarks/ccsynchbench.c

@@ -19,7 +19,7 @@ int64_t d1, d2;
 SynchBarrier bar CACHE_ALIGN;
 SynchBenchArgs bench_args CACHE_ALIGN;
 
-inline static void *Execute(void *Arg) {
+static void *Execute(void *Arg) {
     CCSynchThreadState *th_state;
     long i, rnum;
     volatile long j;

benchmarks/clhbench.c

@@ -22,7 +22,7 @@ int64_t d1 CACHE_ALIGN, d2;
 SynchBarrier bar CACHE_ALIGN;
 SynchBenchArgs bench_args CACHE_ALIGN;
 
-inline void apply_op(RetVal (*sfunc)(void *, ArgVal, int), void *state, ArgVal arg, int pid) {
+void apply_op(RetVal (*sfunc)(void *, ArgVal, int), void *state, ArgVal arg, int pid) {
     CLHLock(object_lock, pid);
     sfunc(state, arg, pid);
 #ifdef DEBUG
@@ -31,7 +31,7 @@ inline void apply_op(RetVal (*sfunc)(void *, ArgVal, int), void *state, ArgVal a
     CLHUnlock(object_lock, pid);
 }
 
-inline static void *Execute(void *Arg) {
+static void *Execute(void *Arg) {
     long i, rnum;
     volatile long j;
     int id = synchGetThreadId();

benchmarks/clhhashbench.c

@@ -25,7 +25,7 @@ int64_t d1 CACHE_ALIGN, d2;
 SynchBarrier bar CACHE_ALIGN;
 SynchBenchArgs bench_args CACHE_ALIGN;
 
-inline static void *Execute(void *Arg) {
+static void *Execute(void *Arg) {
     int64_t key, value;
     CLHHashThreadState *th_state;
     long i, rnum;

benchmarks/clhqueuebench.c

@@ -33,7 +33,7 @@ SynchBenchArgs bench_args CACHE_ALIGN;
 
 __thread SynchPoolStruct pool_node;
 
-inline static void enqueue(Object arg, int pid) {
+static void enqueue(Object arg, int pid) {
     Node *n = synchAllocObj(&pool_node);
 
     n->val = (Object)arg;
@@ -48,7 +48,7 @@ inline static void enqueue(Object arg, int pid) {
     CLHUnlock(ltail, pid);
 }
 
-inline static Object dequeue(int pid) {
+static Object dequeue(int pid) {
     Object result;
     Node *node = NULL;
 
@@ -75,7 +75,7 @@ inline static Object dequeue(int pid) {
     return result;
 }
 
-inline static void *Execute(void *Arg) {
+static void *Execute(void *Arg) {
     long i;
     long rnum;
     int id = synchGetThreadId();

benchmarks/clhstackbench.c

@@ -28,7 +28,7 @@ SynchBenchArgs bench_args CACHE_ALIGN;
 
 __thread SynchPoolStruct pool_node;
 
-inline static void push(Object arg, int pid) {
+static void push(Object arg, int pid) {
     volatile Node *n = synchAllocObj(&pool_node);
     n->val = (Object)arg;
     CLHLock(lock, pid);  // Critical section
@@ -41,7 +41,7 @@ inline static void push(Object arg, int pid) {
     CLHUnlock(lock, pid);
 }
 
-inline static Object pop(int pid) {
+static Object pop(int pid) {
     Object result;
     Node *n = NULL;
 
@@ -63,7 +63,7 @@ inline static Object pop(int pid) {
     return result;
 }
 
-inline static void *Execute(void *Arg) {
+static void *Execute(void *Arg) {
     long i;
     long rnum;
     int id = synchGetThreadId();