http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56017 --- Comment #13 from Ian Lance Taylor <ian at airs dot com> 2013-02-09 23:20:42 UTC --- Those problems may be fixed, let me know what the next one is.