This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug sanitizer/68065] Size calculations for VLAs can overflow
- From: "ebotcazou at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Wed, 11 Nov 2015 11:57:43 +0000
- Subject: [Bug sanitizer/68065] Size calculations for VLAs can overflow
- Auto-submitted: auto-generated
- References: <bug-68065-4 at http dot gcc dot gnu dot org/bugzilla/>
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.