More bug fixes

[c11tester.git] / action.h

diff --git a/action.h b/action.h
index 9486c9df7b39a4835ed345133b64fa73467c223b..2b4b4141da042161dfe1db76f7b4573339b92001 100644 (file)
--- a/action.h
+++ b/action.h
@@ -77,6 +77,7 @@ typedef enum action_type {
        ATOMIC_WAIT,    // < A wait action
        ATOMIC_TIMEDWAIT,       // < A timed wait action
        ATOMIC_ANNOTATION,      // < An annotation action to pass information to a trace analysis
+       READY_FREE
 } action_type_t;
 
 
@@ -100,6 +101,7 @@ public:
 
        thread_id_t get_tid() const { return tid; }
        action_type get_type() const { return type; }
+       void set_free() { type = READY_FREE; }
        memory_order get_mo() const { return order; }
        memory_order get_original_mo() const { return original_order; }
        void set_mo(memory_order order) { this->order = order; }
@@ -134,6 +136,7 @@ public:
        bool is_trylock() const;
        bool is_unlock() const;
        bool is_wait() const;
+       bool is_create() const;
        bool is_notify() const;
        bool is_notify_one() const;
        bool is_success_lock() const;
@@ -141,6 +144,7 @@ public:
        bool is_atomic_var() const;
        bool is_read() const;
        bool is_write() const;
+       bool is_free() const;
        bool is_yield() const;
        bool could_be_write() const;
        bool is_rmwr() const;