Remove vla.h

Uses of <vla.h>’s macro VLA_ELEMS were removed some time ago.
* admin/merge-gnulib (GNULIB_MODULES): Remove vla.
* lib/gnulib.mk.in, m4/gnulib-comp.m4: Regenerate.
* lib/vla.h: Remove.
* src/fns.c, src/lread.c: Do not include <vla.h>.

2 files changed, 0 insertions, 63 deletions

diff --git a/lib/gnulib.mk.in b/lib/gnulib.mk.in
index 33d8d5ad367..a5154c074f6 100644
--- a/lib/gnulib.mk.in
+++ b/lib/gnulib.mk.in
@@ -187,7 +187,6 @@
 #  unlocked-io \
 #  update-copyright \
 #  utimensat \
-#  vla \
 #  warnings \
 #  year2038
 
@@ -4533,15 +4532,6 @@ EXTRA_DIST += verify.h
 endif
 ## end   gnulib module verify
 
-## begin gnulib module vla
-ifeq (,$(OMIT_GNULIB_MODULE_vla))
-
-
-EXTRA_DIST += vla.h
-
-endif
-## end   gnulib module vla
-
 
 mostlyclean-local: mostlyclean-generic
 	@for dir in '' $(MOSTLYCLEANDIRS); do \
diff --git a/lib/vla.h b/lib/vla.h
deleted file mode 100644
index 5c893dbb4c1..00000000000
--- a/lib/vla.h
+++ /dev/null
@@ -1,53 +0,0 @@
-/* vla.h - variable length arrays
-
-   Copyright 2014-2026 Free Software Foundation, Inc.
-
-   This program is free software: you can redistribute it and/or modify
-   it under the terms of the GNU General Public License as published by
-   the Free Software Foundation, either version 3 of the License, or
-   (at your option) any later version.
-
-   This program is distributed in the hope that it will be useful,
-   but WITHOUT ANY WARRANTY; without even the implied warranty of
-   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-   GNU General Public License for more details.
-
-   You should have received a copy of the GNU General Public License
-   along with this program.  If not, see <https://www.gnu.org/licenses/>.
-
-   Written by Paul Eggert.  */
-
-/* The VLA_ELEMS macro does not allocate variable-length arrays (VLAs),
-   so it does not have the security or performance issues commonly
-   associated with VLAs.  VLA_ELEMS is for exploiting a C11 feature
-   where a function can start like this:
-
-     double scan_array (int n, double v[static n])
-
-   to require a caller to pass a vector V with at least N elements;
-   this allows better static checking and performance in some cases.
-   In C11 this feature means that V is a VLA, so the feature is
-   supported only if __STDC_NO_VLA__ is defined, and for compatibility
-   to platforms that do not support VLAs, VLA_ELEMS (n) expands to
-   nothing when __STDC_NO_VLA__ is not defined.  */
-
-/* A function's argument must point to an array with at least N elements.
-   Example: 'int main (int argc, char *argv[VLA_ELEMS (argc)]);'.  */
-
-#ifdef __STDC_NO_VLA__
-# define VLA_ELEMS(n)
-#else
-# define VLA_ELEMS(n) static n
-#endif
-
-/* Although C99 requires support for variable-length arrays (VLAs),
-   some C compilers never supported VLAs and VLAs are optional in C11.
-   VLAs are controversial because their allocation may be unintended
-   or awkward to support, and large VLAs might cause security or
-   performance problems.  GCC can diagnose the use of VLAs via the
-   -Wvla and -Wvla-larger-than warnings options, and defining the
-   macro GNULIB_NO_VLA disables the allocation of VLAs in Gnulib code.
-
-   The VLA_ELEMS macro is unaffected by GNULIB_NO_VLA, since it does
-   not allocate VLAs.  Programs that use VLA_ELEMS should be compiled
-   with 'gcc -Wvla-larger-than' instead of with 'gcc -Wvla'.  */