http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48155 --- Comment #5 from Paul Bone <pbone at csse dot unimelb.edu.au> 2011-07-22 05:59:24 UTC --- (In reply to comment #4) Sorry, this comment was filed against the wrong bug. Please ignore/delete it.