From 5dd47cb75dac4583dc38e9c1df2fde89fd459a08 Mon Sep 17 00:00:00 2001 From: Martin Sebor Date: Fri, 12 Jul 2019 17:36:45 +0000 Subject: 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/doc/invoke.texi | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'gcc/doc/invoke.texi') 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 -- cgit v1.1