http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52039
--- Comment #6 from Denis Excoffier <g...@denis-excoffier.org> 2012-01-30 23:16:52 UTC --- (In reply to comment #5) > Please try > http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52041#c17 > http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52041#c18 > patches. "Comparison successful" ie it works.