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 do any harm. > > OK for trunk?
Yes, thank you. (I can see how this can help, and even if it only helps one in twenty users, say, that's still worthwhile.) Gerald
