}
static void heap_equality_free(heap_equality_t e){
- if(e){
- xbt_free(e);
- }
+ xbt_free(e);
}
void heap_equality_free_voidp(void *e){
/************ MC_ignore ***********/
void heap_ignore_region_free(mc_heap_ignore_region_t r){
- if(r)
- xbt_free(r);
+ xbt_free(r);
}
void heap_ignore_region_free_voidp(void *r){
}
xbt_free(subprogram_start);
- if(subprogram_end != NULL){
- xbt_free(subprogram_end);
- subprogram_end = NULL;
- }
+ xbt_free(subprogram_end);
+ subprogram_end = NULL;
}else if(strcmp(node_type, "(DW_TAG_variable)") == 0){ /* New variable */
void pair_visited_free(mc_pair_visited_t pair){
if(pair){
- pair->automaton_state = NULL;
xbt_dynar_free(&(pair->prop_ato));
MC_free_snapshot(pair->system_state);
xbt_free(pair);
void pair_reached_free(mc_pair_reached_t pair){
if(pair){
- pair->automaton_state = NULL;
xbt_dynar_free(&(pair->prop_ato));
MC_free_snapshot(pair->system_state);
xbt_free(pair);
xbt_dict_remove(content_dict,stream->name);
free(stream->name);
- stream->content = NULL;
xbt_free(stream);
return action;
}
free(fp->name);
- fp->content = NULL;
xbt_free(fp);
surf_action_t action = storage_action_execute(storage,0, CLOSE);
return action;
surf_model_exit(surf_storage_model);
surf_storage_model = NULL;
- if(storage_list)
- xbt_dynar_free(&storage_list);
+ xbt_dynar_free(&storage_list);
xbt_swag_free
(storage_running_action_set_that_does_not_need_being_checked);
}
}
}
- if (line)
- free(line);
+ free(line);
fclose(file);
return parse_content;
}
void model_none_finalize(AS_t as) {
xbt_dict_free(&as->routing_sons);
xbt_dynar_free(&as->index_network_elm);
- if(as->link_up_down_list)
- xbt_dynar_free(&as->link_up_down_list);
+ xbt_dynar_free(&as->link_up_down_list);
xbt_free(as);
}
}
static void heap_area_pair_free(heap_area_pair_t pair){
- if (pair){
- xbt_free(pair);
- pair = NULL;
- }
+ xbt_free(pair);
+ pair = NULL;
}
static void heap_area_pair_free_voidp(void *d)