On Mon, 22 Aug 2022, 20:28 Andrea Bocci, <andrea.bocci@xxxxxxx> wrote: > On Mon, 22 Aug 2022 at 19:33, Segher Boessenkool < > segher@xxxxxxxxxxxxxxxxxxx> > wrote: > > If you want a separate -W option for this, please file a PR? > > See <https://gcc.gnu.org/bugs.html>. > [snip] > Making a PR for this might be a tad complicated, but I agree it would be > the best way forward... so thanks for the suggestion :-) > For the avoidance of doubt, "PR" in this context means "problem report" i.e. bug report, not "pull request".
