Re: [PATCH][DOC] Document -Wchkp (PR middle-end/79831).

[Jeff Law]

On 03/14/2017 09:01 AM, Martin Liška wrote:

Hello.

This is small documentation patch that lists and briefly describes -Wchkp.

OK.
jeff