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/c-family | |
| 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/c-family')
| -rw-r--r-- | gcc/c-family/c.opt | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/gcc/c-family/c.opt b/gcc/c-family/c.opt index a5333a3..1d40d76f1 100644 --- a/gcc/c-family/c.opt +++ b/gcc/c-family/c.opt @@ -1207,7 +1207,13 @@ narrowing is on, field bounds are used. Otherwise full object bounds are used. fchkp-narrow-to-innermost-array C ObjC C++ ObjC++ LTO RejectNegative Report Var(flag_chkp_narrow_to_innermost_arrray) Forces Pointer Bounds Checker to use bounds of the innermost arrays in case of -nested static arryas access. By default outermost array is used. +nested static arrays access. By default outermost array is used. + +fchkp-flexible-struct-trailing-arrays +C ObjC C++ ObjC++ LTO Report Var(flag_chkp_flexible_struct_trailing_arrays) +Forces Pointer Bounds Checker to treat all trailing arrays in structures as +possibly flexible. By default only arrays fields with zero length or that are +marked with attribute bnd_variable_size are treated as flexible. fchkp-optimize C ObjC C++ ObjC++ LTO Report Var(flag_chkp_optimize) Init(-1) |