From 551a2b2a5bd39f05e280143a09bafae8429315c8 Mon Sep 17 00:00:00 2001
From: Christophe Grenier <grenier@cgsecurity.org>
Date: Sat, 21 Oct 2023 17:47:02 +0200
Subject: [PATCH] src/filegen.c: fix bug introduced in
 0fdbc689159d76539feb7ef29b9b3ef2a11636ef

---
 src/filegen.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/filegen.c b/src/filegen.c
index 4ad0ff2e..a9bff3b1 100644
--- a/src/filegen.c
+++ b/src/filegen.c
@@ -696,11 +696,12 @@ static int _file_rename(char *filename, const void *buffer, const int buffer_siz
     *dst++ = '_';
     /*@
       @ loop invariant offset <= off <= buffer_size;
-      @ loop invariant valid_read_string(src);
       @*/
-    for(off=offset; off<buffer_size && *src!='\0'; off++)
+    for(off=offset; off<buffer_size; off++)
     {
       const char c=((const char *)buffer)[off];
+      if(c=='\0')
+	break;
       switch(c)
       {
 	case '/':