------- Comment #1 from schwab at suse dot de 2008-11-13 09:05 -------
The warning is correct: there are exactly two occurences of /* inside the
comment. The backslash has absolutely no meaning at this place. If you want
to silence the warning put anything but a / between / and *.
--
schwab at suse dot de changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution| |INVALID
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38103
