edits
[cdsspec-compiler.git] / output / chase-lev-deque-bugfix / deque.c
index 15ffe0f9aae0a5ee81fcadbc9075198483e51f7b..68eab074bb24c303aee51e4698d04bfde2be89db 100644 (file)
@@ -153,7 +153,8 @@ void __wrapper__push(Deque * q, int x) {
        Array *a = (Array *) atomic_load_explicit(&q->array, memory_order_relaxed);
        if (b - t > atomic_load_explicit(&a->size, memory_order_relaxed) - 1)  {
                resize(q);
-                                                               
+                                               a = (Array *) atomic_load_explicit(&q->array, memory_order_relaxed);
+               
        }
        int size = atomic_load_explicit(&a->size, memory_order_relaxed);