From 0c59aa8d229a8e30219d34d4147f40efe3312a75 Mon Sep 17 00:00:00 2001
From: Christophe Grenier <grenier@cgsecurity.org>
Date: Fri, 29 Jan 2021 22:42:05 +0100
Subject: [PATCH] src/filegen.c: fix error reported by frama-c in
 file_check_cmp()

---
 src/filegen.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/filegen.c b/src/filegen.c
index a780a61d..3e3f9f0c 100644
--- a/src/filegen.c
+++ b/src/filegen.c
@@ -80,7 +80,7 @@ int file_check_cmp(const struct td_list_head *a, const struct td_list_head *b)
   if(fc_a->length!=0 && fc_b->length==0)
     return 1;
   /*@ assert (fc_a->length > 0 && fc_b->length > 0) || (fc_a->length == 0 && fc_b->length == 0) ; */
-  res=fc_a->offset-fc_b->offset;
+  res=(int)fc_a->offset-(int)fc_b->offset;
   if(res!=0)
     return res;
   /*@ assert fc_a->offset == fc_b->offset; */