gcc11: warnings related to struct args allocation..

As reported by Paul A. Patience, GCC 11 warns about situations
in a few places where we do args_decl(args, 0) to allocate an
absolutely empty argument list object.

  (This by the way, is only done in places where we are
  absolutely sure that the function we call will not be
  accessing the arguments. The usual rule is that there have
  to be at least ARGS_MIN arguments allocated, currently 4,
  and code relies on that being the case! So the places which
  call args_decl(args, 0) are coded carefully, checking that
  args is not passed anywhere where ARGS_MIN space is
  required.)

Anyway, in the 0 case, the val arg[1] member of struct args is
not allocated at all, because we call alloca(offsetof (struct
args, arg)).  Now GCC 11 notices this and complains that
accesses to the other members like args->fill or args->list
are using a struct that has not been entirely allocated. This,
even though those members lie entirely within the allocated
area.

The fix for this is two faceted. Firstly, on C99, this
diagnostic goes away if we make one simple change: declare
the arg array as a flexible array member: val arg[].

However, we still support C90 in maintainer mode.  So in
maintainer mode, we stick with the 1. But we ensure that the
places which call args_decl(args, 0) will pass 1 instead of 0,
so the whole structure is allocated.

* lib.h (FLEX_ARRAY): New macro: empty definition in C99 or
later, otherwise 1.

* args.h (struct args): Declare the size of the arg member
using the new FLEX_ARRAY macro from lib.h.
(ARGS_ABS_MIN): New macro, the absolute args minimum: zero in
C99 mode, 1 in maintainer C90 mode.

* ffi.c (ffi_struct_in, ffi_struct_get, make_zstruct): Use
ARGS_ABS_MIN instead of 0 when preparing dummy args for
make_struct call.

* struct.c (struct_from_plist, struct_from_args,
make_struct_lit): Use ARGS_ABS_MIN instead of zero when
preparing dummy args for make_struct_impl or make_struct call.

1 files changed, 7 insertions, 1 deletions

diff --git a/args.h b/args.h
index e023e290..d2d87de4 100644
--- a/args.h
+++ b/args.h
@@ -30,7 +30,7 @@ struct args {
   cnum argc;
   cnum fill;
   val list;
-  val arg[1];
+  val arg[FLEX_ARRAY];
 };
 
 typedef int arg_index;
@@ -38,6 +38,12 @@ typedef int arg_index;
 #define ARGS_MAX 32
 #define ARGS_MIN 4
 
+#if FLEX_ARRAY + 0 == 1
+#define ARGS_ABS_MIN 1
+#else
+#define ARGS_ABS_MIN 0
+#endif
+
 struct args_bool_key {
   val key;
   val arg_p;