diff options
| author | Alexander Ivchenko <alexander.ivchenko@intel.com> | 2016-12-27 13:31:43 +0000 |
|---|---|---|
| committer | Alexander Ivchenko <aivchenk@gcc.gnu.org> | 2016-12-27 13:31:43 +0000 |
| commit | 8ba4f506395ff50be7ecf788734676c9f4cfd200 (patch) | |
| tree | f1e12d47165d6fd6b71f33d3c80dcef9aa8c9325 /gcc/doc | |
| parent | 5735741b128fecd49f45170b8a85e12ee7771371 (diff) | |
| download | gcc-8ba4f506395ff50be7ecf788734676c9f4cfd200.zip gcc-8ba4f506395ff50be7ecf788734676c9f4cfd200.tar.gz gcc-8ba4f506395ff50be7ecf788734676c9f4cfd200.tar.bz2 | |
c.opt (flag_chkp_flexible_struct_trailing_arrays): Add new option.
2016-12-27 Alexander Ivchenko <alexander.ivchenko@intel.com>
* c-family/c.opt (flag_chkp_flexible_struct_trailing_arrays):
Add new option.
(fchkp-narrow-to-innermost-array): Fix typo.
* doc/cpp.texi (flag_chkp_flexible_struct_trailing_arrays): Ditto.
* tree-chkp.c (chkp_may_narrow_to_field ): Forbid
narrowing when flag_chkp_flexible_struct_trailing_arrays is used
and the field is the last array field in the structure.
2016-12-27 Alexander Ivchenko <alexander.ivchenko@intel.com>
* gcc.target/i386/mpx/vla-trailing-1-lbv.c: New test.
* gcc.target/i386/mpx/vla-trailing-1-nov.c: Ditto.
* gcc.target/i386/mpx/vla-trailing-1-ubv.c: Ditto.
From-SVN: r243936
Diffstat (limited to 'gcc/doc')
| -rw-r--r-- | gcc/doc/invoke.texi | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi index 9af6e84..b276914 100644 --- a/gcc/doc/invoke.texi +++ b/gcc/doc/invoke.texi @@ -447,7 +447,7 @@ Objective-C and Objective-C++ Dialects}. -fchkp-treat-zero-dynamic-size-as-infinite -fchkp-check-read @gol -fchkp-check-read -fchkp-check-write -fchkp-store-bounds @gol -fchkp-instrument-calls -fchkp-instrument-marked-only @gol --fchkp-use-wrappers @gol +-fchkp-use-wrappers -fchkp-flexible-struct-trailing-arrays@gol -fstack-protector -fstack-protector-all -fstack-protector-strong @gol -fstack-protector-explicit -fstack-check @gol -fstack-limit-register=@var{reg} -fstack-limit-symbol=@var{sym} @gol @@ -10954,6 +10954,13 @@ Forces Pointer Bounds Checker to use narrowed bounds for the address of the first field in the structure. By default a pointer to the first field has the same bounds as a pointer to the whole structure. +@item -fchkp-flexible-struct-trailing-arrays +@opindex fchkp-flexible-struct-trailing-arrays +@opindex fno-chkp-flexible-struct-trailing-arrays +Forces Pointer Bounds Checker to treat all trailing arrays in structures as +possibly flexible. By default only array fields with zero length or that are +marked with attribute bnd_variable_size are treated as flexible. + @item -fchkp-narrow-to-innermost-array @opindex fchkp-narrow-to-innermost-array @opindex fno-chkp-narrow-to-innermost-array |