http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35667
--- Comment #9 from dave.anglin at bell dot net --- On 12/9/2013 5:01 AM, fxcoudert at gcc dot gnu.org wrote: > Was that fixed with John's commit? I think so. I believe this was left open because the patch wasn't back ported. I could confirm but that would take awhile. Dave