On Mon, 30 Nov 2020, Jeff Law via Gcc wrote: > > Ping. Anybody got an opinion on the approach we should take? > Could we set warning_threshold to a value to inhibit this behavior > completely. It seems backwards to me that warnings have this effect.
Sounds like rate-limiting of some sort to me. It may be worth enquiring at <deja...@gnu.org>, maybe Rob remembers what this was meant for. Maciej