On 20 February 2018 at 15:43, Christophe de Dinechin wrote: > I posted here because I saw it as a possible diagnostic bug / limitation. Do > such things go to gcc-help? Or is it that you thought I was asking for the > correct option?
Bug reports and enhancement requests go to bugzilla not here, and questions about using GCC (including warnings and "why doesn't this work?" stuff) belongs on gcc-help. Although arguably this question is somewhere halfway between gcc@ and gcc-help@