------- Comment #2 from ludovic at ludovic-brenta dot org 2008-11-30 15:16 ------- *** Bug 38331 has been marked as a duplicate of this bug. *** -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16094