diff options
| author | Martin Sebor <msebor@redhat.com> | 2019-07-12 17:36:45 +0000 |
|---|---|---|
| committer | Martin Sebor <msebor@gcc.gnu.org> | 2019-07-12 11:36:45 -0600 |
| commit | 5dd47cb75dac4583dc38e9c1df2fde89fd459a08 (patch) | |
| tree | 0d8febea6e49248e6ea92f630e251dcc93b88c9a /gcc/doc/invoke.texi | |
| parent | d132c59b10ac8ee35d2e48c0b598160d5bdabf46 (diff) | |
| download | gcc-5dd47cb75dac4583dc38e9c1df2fde89fd459a08.zip gcc-5dd47cb75dac4583dc38e9c1df2fde89fd459a08.tar.gz gcc-5dd47cb75dac4583dc38e9c1df2fde89fd459a08.tar.bz2 | |
invoke.texi (ssa-name-def-chain-limit): Document new --param.
gcc/ChangeLog:
* doc/invoke.texi (ssa-name-def-chain-limit): Document new --param.
* params.def (PARAM_SSA_NAME_DEF_CHAIN_LIMIT): Add new --param.
* tree-vrp.c (vrp_prop::check_mem_ref): Use
PARAM_SSA_NAME_DEF_CHAIN_LIMIT.
gcc/testsuite/ChangeLog:
* gcc.dg/Warray-bounds-43.c: New test.
From-SVN: r273454
Diffstat (limited to 'gcc/doc/invoke.texi')
| -rw-r--r-- | gcc/doc/invoke.texi | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi index 0c20cb6..b4e71f2 100644 --- a/gcc/doc/invoke.texi +++ b/gcc/doc/invoke.texi @@ -12225,6 +12225,13 @@ before the loop versioning pass considers it too big to copy, discounting any instructions in inner loops that directly benefit from versioning. +@item ssa-name-def-chain-limit +The maximum number of SSA_NAME assignments to follow in determining +a property of a variable such as its value. This limits the number +of iterations or recursive calls GCC performs when optimizing certain +statements or when determining their validity prior to issuing +diagnostics. + @end table @end table |