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, 6 insertions, 0 deletions

diff --git a/lib.h b/lib.h
index 75aed65a..f5b5ed42 100644
--- a/lib.h
+++ b/lib.h
@@ -46,6 +46,12 @@ typedef double_uintptr_t dbl_ucnum;
 #define coerce(TYPE, EXPR) ((TYPE) (EXPR))
 #endif
 
+#if __STDC_VERSION__ >= 199901L
+#define FLEX_ARRAY
+#else
+#define FLEX_ARRAY 1
+#endif
+
 #define TAG_SHIFT 2
 #define TAG_MASK ((convert(cnum, 1) << TAG_SHIFT) - 1)
 #define TAG_PTR 0