------- Comment #9 from dominiq at lps dot ens dot fr 2010-09-23 15:30 ------- Could someone commit the patch in comment #7. It cannot make the matter worse than it is without it. TIA -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45751