[Bug sanitizer/68065] Size calculations for VLAs can overflow

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68065

--- Comment #28 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> Are you saying that -fstack-check is ready for use? Why it's not 
> documented (except for Ada and in gccint)?

!???  See 3.18 Options for Code Generation Conventions in the manual.

> According to comments[1][2] by Florian Wiemer (cc'd) in 2013 it's not 
> production-ready and "used to be rather buggy". Is this changed?
> 
> [1] https://gcc.gnu.org/ml/gcc-patches/2013-09/msg01176.html
> [2] http://www.openwall.com/lists/oss-security/2013/01/23/4

Yes, at least on mainstream architectures (x86, x86-64, Alpha, MIPS, SPARC,
PowerPC, IA-64).  ARM and AArch64 need the PR middle-end/65958 changes.