bug in gcc

[Andrew Haley]

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.