reset memory locations of FuncInsts when new executions start

[c11tester.git] / funcinst.h

diff --git a/funcinst.h b/funcinst.h
index 3b2890f0bdafa33ea9e041b23ddfa47987eb3fac..9aec00f6cc3ae74880c4fc3af6a47cec5df28dd3 100644 (file)
--- a/funcinst.h
+++ b/funcinst.h
@@ -14,7 +14,11 @@ public:
        ~FuncInst();
 
        const char * get_position() const { return position; }
+
        void * get_location() const { return location; }
+       void set_location(void * loc) { location = loc; }
+       void reset_location() { location = NULL; }
+
        action_type get_type() const { return type; }
        memory_order get_mo() const { return order; }
        FuncNode * get_func_node() const { return func_node; }