@InitVar:
list = new_spec_list();
//tag = new_id_tag();
@InitVar:
list = new_spec_list();
//tag = new_id_tag();
+ @Cleanup:
+ if (list)
+ free_spec_list();
@Happens_before:
Publish -> Fetch
Consume -> Prepare
@Happens_before:
Publish -> Fetch
Consume -> Prepare