[PATCH][pushed] analyzer: document new param

[David Malcolm]

On Fri, 2021-03-12 at 09:45 +0100, Martin Liška wrote:
> Identified by my check that compares documentation of params
> with content of --help=param output.
> 
> Pushed as obvious.
> Martin

Thanks.

Which check is this, BTW?  (presumably this is something I should add
to my patch testing workflow)

Dave

> gcc/ChangeLog:
> 
>         * doc/invoke.texi: Add missing param documentation.
> ---
>   gcc/doc/invoke.texi | 4 ++++
>   1 file changed, 4 insertions(+)
> 
> diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi
> index 4a3c1e2fa0f..7a368959e5e 100644
> --- a/gcc/doc/invoke.texi
> +++ b/gcc/doc/invoke.texi
> @@ -14362,6 +14362,10 @@ recurse deeper.
>   The maximum depth of a symbolic value, before approximating
>   the value as unknown.
>   
> +@item analyzer-max-infeasible-edges
> +The maximum number of infeasible edges to reject before declaring
> +a diagnostic as infeasible.
> +
>   @item gimple-fe-computed-hot-bb-threshold
>   The number of executions of a basic block which is considered hot.
>   The parameter is used only in GIMPLE FE.