bug fix

diff --git a/include/cmodelint.h b/include/cmodelint.h
index b491c38e0d17ae8dd9abe3d7641806584e556e42..fc76eb2e2c4fc74cb8933ea94b9ec35f6a7d930a 100644 (file)
--- 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);