------- Comment #19 from pault at gcc dot gnu dot org 2009-12-18 14:32 ------- Can this now be closed or has it transmogrified itself into something else? Paul -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40168