Function delete_list_file

src/dir.c:263–280

}

unsigned int delete_list_file(file_info_t *file_info)
{
  unsigned int nbr=0;
  struct td_list_head *file_walker = NULL;
  struct td_list_head *file_walker_next = NULL;
#ifndef DISABLED_FOR_FRAMAC
  td_list_for_each_safe(file_walker,file_walker_next, &file_info->list)
  {
    file_info_t *tmp;
    tmp=td_list_entry(file_walker, file_info_t, list);
    free(tmp->name);
    td_list_del(file_walker);
    free(tmp);
    nbr++;
  }
#endif
  return nbr;
}

/*@
  @ requires \valid_read(current_file);