summaryrefslogtreecommitdiffstats
path: root/src/filegen.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/filegen.c')
-rw-r--r--src/filegen.c3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/filegen.c b/src/filegen.c
index 4952ee9..1c3117f 100644
--- a/src/filegen.c
+++ b/src/filegen.c
@@ -57,6 +57,8 @@ file_check_list_t file_check_list={
.list = TD_LIST_HEAD_INIT(file_check_list.list)
};
+uint64_t gpls_nbr=0;
+
/*@
@ requires \valid_read(a);
@ requires \valid_read(b);
@@ -816,6 +818,7 @@ void get_prev_location_smart(const alloc_data_t *list_search_space, alloc_data_t
alloc_data_t *file_space=*current_search_space;
if(offset_skipped_header==0)
return ;
+ gpls_nbr++;
while(1)
{
file_space=td_list_prev_entry(file_space, list);