On Sun, 27 Jul 2025, Martin Uecker wrote:
> gcc/c/ChangeLog:
> * c/c-decl.cc (get_parm_array_spec): Remove.
> (push_parm_decl): Do not add `arg spec` attribute.
> (build_arg_spec_attribute): New function.
> (grokdeklarator): Add `arg spec` attrib
Hi Alex,
and this is how this could potentially be used
in _Countof.
Martin
diff --git a/gcc/c/c-typeck.cc b/gcc/c/c-typeck.cc
index ed6e56e7279..b46eb43bb5a 100644
--- a/gcc/c/c-typeck.cc
+++ b/gcc/c/c-typeck.cc
@@ -3771,6 +3771,26 @@ is_top_array_vla (tree type)
return var;
}
+
+tree
There are couple of unsolved problems and missing features
related to -Wvla-parameter. I found it difficult to address these
with the current implementation. Here is a patch to improve the
implementation of the `arg spec' attribute. This patch would also
give us access to the type of the un
