From: Brian Demsky <bdemsky@uci.edu>
Date: Mon, 22 Jul 2019 23:44:54 +0000 (-0700)
Subject: bug fix
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=c758f1b28c3c5335ab80b9fd0699e0e6dd887f23;p=c11tester.git

bug fix
---

diff --git a/include/cmodelint.h b/include/cmodelint.h
index b491c38e..fc76eb2e 100644
--- a/include/cmodelint.h
+++ b/include/cmodelint.h
@@ -32,16 +32,16 @@ void model_rmwc_action_helper(void *obj, int atomic_index, const char *position)
 
 /* the following functions are used by llvm pass */
 // cds volatile loads
-uint8_t cds_volatile_load8(void * obj, int atomic_index, const char * position);
-uint16_t cds_volatile_load16(void * obj, int atomic_index, const char * position);
-uint32_t cds_volatile_load32(void * obj, int atomic_index, const char * position);
-uint64_t cds_volatile_load64(void * obj, int atomic_index, const char * position);
+uint8_t cds_volatile_load8(void * obj, const char * position);
+uint16_t cds_volatile_load16(void * obj, const char * position);
+uint32_t cds_volatile_load32(void * obj, const char * position);
+uint64_t cds_volatile_load64(void * obj, const char * position);
 
 // cds volatile stores
-void cds_volatile_store8(void * obj, uint8_t val, int atomic_index, const char * position);
-void cds_volatile_store16(void * obj, uint16_t val, int atomic_index, const char * position);
-void cds_volatile_store32(void * obj, uint32_t val, int atomic_index, const char * position);
-void cds_volatile_store64(void * obj, uint64_t val, int atomic_index, const char * position);
+void cds_volatile_store8(void * obj, uint8_t val, const char * position);
+void cds_volatile_store16(void * obj, uint16_t val, const char * position);
+void cds_volatile_store32(void * obj, uint32_t val, const char * position);
+void cds_volatile_store64(void * obj, uint64_t val, const char * position);
 
 void cds_atomic_init8(void * obj, uint8_t val, const char * position);
 void cds_atomic_init16(void * obj, uint16_t val, const char * position);