http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50143
--- Comment #13 from Christopher Yeleighton <giecrilj at stegny dot 2a.pl> 2011-08-21 21:05:11 UTC --- (In reply to comment #11) > Doesn't happen here. Anyway, I still believe that a sensible way to go is > filing a Bug Report with Doxygen. Apparently. However, the problem is I cannot do it myself without isolating a test case, and that requires reproducing the build, and that is I do not know how to do.