remove unused member functions and add a new data structure
[c11tester.git] / funcinst.h
index 3b2890f0bdafa33ea9e041b23ddfa47987eb3fac..95d92ff3e9580921dafd10e324b5d79b51f77d0c 100644 (file)
@@ -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 unset_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; }