Re: [PATCH] doc: Note that some warnings depend on optimizations (PR 92757)

2020-01-13 Thread Jonathan Wakely
On 13/01/20 17:27 +, Martin Sebor wrote: On 12/2/19 9:35 PM, Jonathan Wakely wrote: PR driver/92757 * doc/invoke.texi (Warning Options): Add caveat about some warnings depending on optimization settings. The bug reporter wants this clarified. I'm not entirely convinced it's nece

Re: [PATCH] doc: Note that some warnings depend on optimizations (PR 92757)

2020-01-13 Thread Martin Sebor
On 12/2/19 9:35 PM, Jonathan Wakely wrote: PR driver/92757 * doc/invoke.texi (Warning Options): Add caveat about some warnings depending on optimization settings. The bug reporter wants this clarified. I'm not entirely convinced it's necessary, but it doesn't seem to do any harm.

Re: [PATCH] doc: Note that some warnings depend on optimizations (PR 92757)

2020-01-12 Thread Gerald Pfeifer
On Mon, 2 Dec 2019, Jonathan Wakely wrote: > PR driver/92757 > * doc/invoke.texi (Warning Options): Add caveat about some warnings > depending on optimization settings. > > The bug reporter wants this clarified. I'm not entirely convinced it's > necessary, but it doesn't seem to

[PATCH] doc: Note that some warnings depend on optimizations (PR 92757)

2019-12-02 Thread Jonathan Wakely
PR driver/92757 * doc/invoke.texi (Warning Options): Add caveat about some warnings depending on optimization settings. The bug reporter wants this clarified. I'm not entirely convinced it's necessary, but it doesn't seem to do any harm. OK for trunk? commit 5e0f6aebde2