X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=blobdiff_plain;f=benchmark%2Fchase-lev-deque-bugfix%2Fdeque.h;fp=benchmark%2Fchase-lev-deque-bugfix%2Fdeque.h;h=8a3e857a4de8b47c4133884625921c0658859f04;hp=6bb4698fee6480f95152f51e53bd8617c2176cdd;hb=8c57e2fa7111492857dab6ed3faf4c27a6533470;hpb=b711bdbfdeed4ba1120266b7295081bfad2f30ae

diff --git a/benchmark/chase-lev-deque-bugfix/deque.h b/benchmark/chase-lev-deque-bugfix/deque.h
index 6bb4698..8a3e857 100644
--- a/benchmark/chase-lev-deque-bugfix/deque.h
+++ b/benchmark/chase-lev-deque-bugfix/deque.h
@@ -47,11 +47,17 @@ typedef struct {
             }
         @DefineFunc:
             call_id_t get_id(void *wrapper) {
-                return ((tag_elem_t*) wrapper)->id;
+				tag_elem_t *res = (tag_elem_t*) wrapper;
+				if (res == NULL) {
+					//model_print("wrong id here\n");
+					return 0;
+				}
+                return res->id;
             }
         @DefineFunc:
             int get_data(void *wrapper) {
-                return ((tag_elem_t*) wrapper)->data;
+				tag_elem_t *res = (tag_elem_t*) wrapper;
+                return res->data;
             }
     @Happens_before:
         Push -> Steal