commit b147427aa16309657856bd9ec6ef50c60b241e18
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Mon Nov 30 23:57:11 2020 +0100

    Make string_t always use const_string_t
    
    This will allow to relieve constraints in callers, e.g. dir_lookup("") would
    otherwise produce a warning with gcc-11 since char[1024] would mean that
    dir_lookup would read all 1024 characters while it is not.
    
    * utils.c (UserVarQualifier): Also use const_ qualifier when type is
    string_t.
    * tests/includes/types.h (const_string_t): New type.

diff --git a/tests/includes/types.h b/tests/includes/types.h
index 0bb914c..c8c3afd 100644
--- a/tests/includes/types.h
+++ b/tests/includes/types.h
@@ -29,6 +29,7 @@ typedef struct char_struct {
 } char_struct_t;
 
 typedef char* string_t;
+typedef const char* const_string_t;
 
 static inline int8_t int_to_int8(int n) {
   return (int8_t) n;
diff --git a/utils.c b/utils.c
index 4ddadc5..505f434 100644
--- a/utils.c
+++ b/utils.c
@@ -159,9 +159,13 @@ UserVarQualifier(const argument_t *arg)
     if (!UserVarConst(arg))
 	return "";
 
-    if (arg->argType->itIndefinite)
-        /* This is a pointer type, so we have to use the const_foo type to
-	   make const qualify the data, not the pointer.  */
+    if (arg->argType->itIndefinite ||
+	!strcmp(arg->argType->itUserType, "string_t"))
+        /* This is a pointer, so we have to use the const_foo type to
+	   make const qualify the data, not the pointer.
+
+	   Or this is a string_t, which should use const_string_t to avoid
+	   forcing the caller to respect the definite string size */
 	return "const_";
     else
 	return "const ";
