On 11/24/20 6:16 AM, Thomas Schwinge wrote: > Hi! > > 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. Jeff
- DejaGnu diagnostics checking confused, possibly related ... Thomas Schwinge
- Re: DejaGnu diagnostics checking confused, possibly... Thomas Schwinge
- Re: DejaGnu diagnostics checking confused, poss... Thomas Schwinge
- Re: DejaGnu diagnostics checking confused, ... Jeff Law via Gcc
- Re: DejaGnu diagnostics checking confus... Maciej W. Rozycki