}
@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