summaryrefslogtreecommitdiffstats
path: root/src/photorec.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/photorec.c')
-rw-r--r--src/photorec.c6
1 files changed, 6 insertions, 0 deletions
diff --git a/src/photorec.c b/src/photorec.c
index d8b0da1..c84d54c 100644
--- a/src/photorec.c
+++ b/src/photorec.c
@@ -85,6 +85,11 @@ void del_search_space(alloc_data_t *list_search_space, const uint64_t start, con
update_search_space_aux(list_search_space, start, end, NULL, NULL);
}
+/*@
+ @ requires \valid(list_search_space);
+ @ requires new_current_search_space == \null || \valid(*new_current_search_space);
+ @ requires offset == \null || \valid(*offset);
+ @*/
static void update_search_space_aux(alloc_data_t *list_search_space, const uint64_t start, const uint64_t end, alloc_data_t **new_current_search_space, uint64_t *offset)
{
struct td_list_head *search_walker = NULL;
@@ -510,6 +515,7 @@ void file_block_free(alloc_list_t *list_allocation)
{
alloc_list_t *allocated_space;
allocated_space=td_list_entry(tmp, alloc_list_t, list);
+ header_ignored_cond_reset(allocated_space->start, allocated_space->end);
free_list_allocation_end=allocated_space->end;
td_list_del(tmp);
free(allocated_space);