Re: [PATCH][pushed] analyzer: document new param

[Martin Sebor <msebor@gmail.com>]

On 3/12/21 7:02 AM, Martin Liška wrote:
> On 3/12/21 2:56 PM, David Malcolm wrote:
>> 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)
> 
> ./gcc/xgcc -Bgcc --help=param &>params.txt
> ../contrib/check-params-in-docs.py ../gcc/doc/invoke.texi params.txt

Any plans to integrate it into the testsuite?  (That way we presumably
wouldn't need to remember to run it by hand.)

Martin

> 
> Cheers,
> Martin
> 
>>
>> 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.
>>
>>
>