http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55019
--- Comment #7 from Mikael Pettersson <mikpe at it dot uu.se> 2012-10-23 11:53:07 UTC --- (In reply to comment #6) > (In reply to comment #5) > > (In reply to comment #4) > > > This issue is fixed. > > > > The problem was reported for 4.7 branch, the fix was OK:d for 4.7 and trunk, > > but so far only applied to trunk. > > I plan to wait for some time to see if there is any unforeseen issue in trunk. > And then will do back port. Ok, thanks. It wasn't obvious that you were going to do that since you had closed the bug as fixed.