On 15/06/16 08:49, Mason wrote: > (To be clear, gcc is warning about the /* comment-start token within a // comment.) > > Looking at the documentation for the current release: > > https://gcc.gnu.org/onlinedocs/gcc/Warning-Options.html > > -Wcomment > Warn whenever a comment-start sequence '/*' appears in a '/*' comment, or whenever > a Backslash-Newline appears in a '//' comment. This warning is enabled by -Wall. > > The doc doesn't mention warning for /* appearing in a // comment. Ah yes, you're quite right. Something is wrong, but I suspect that if anything were to be changed it would be the documentation. Andrew.