Commit state of repository at time of OOPSLA 2015 submission.
[satcheck.git] / clang / test / ms-queue-simple.h
1 typedef struct node {
2         unsigned int value;
3         struct node * next;
4 } node_t;
5
6 typedef struct {
7         struct node * head;
8         struct node * tail;
9 } queue_t;
10
11 //void init_queue(queue_t *q, int num_threads);
12 //void enqueue(queue_t *q, unsigned int val);
13 //bool dequeue(queue_t *q, unsigned int *retVal);
14 int get_thread_num();
15