https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98217
Martin Sebor <msebor at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jsm28 at gcc dot gnu.org
--- Comment #8 from Martin Sebor <msebor at gcc dot gnu.org> ---
For reference, -Wvla was introduced in this change:
https://gcc.gnu.org/legacy-ml/gcc-patches/2007-02/msg00577.html
The description says "The main intention is to support checking of coding
styles
that don't allow variable-length arrays."
That's a little vague but since the common rationale for avoiding VLAs is that
they easily exhaust stack space (or otherwise manipulate the stack pointer in
an undefined way), relaxing -Wvla to be the equivalent of -Wvla-larger-than=0
would make sense to me. To preserve the detection of all VLA uses (and to add
to it [*]) -Wvla could be extended to add a new level, say, -Wvla=2, at which
is would serve that purpose. (Being a conditionally supported feature,
detecting all their uses might be helpful for portability.)
Joseph, do you have any concerns with any of this?
