invoke.texi (ssa-name-def-chain-limit): Document new --param.
authorMartin Sebor <msebor@redhat.com>
Fri, 12 Jul 2019 17:36:45 +0000 (17:36 +0000)
committerMartin Sebor <msebor@gcc.gnu.org>
Fri, 12 Jul 2019 17:36:45 +0000 (11:36 -0600)
commit5dd47cb75dac4583dc38e9c1df2fde89fd459a08
tree0d8febea6e49248e6ea92f630e251dcc93b88c9a
parentd132c59b10ac8ee35d2e48c0b598160d5bdabf46
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
gcc/ChangeLog
gcc/doc/invoke.texi
gcc/params.def
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/Warray-bounds-43.c [new file with mode: 0644]
gcc/tree-vrp.c