http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53300
--- Comment #19 from David Edelsohn <dje at gcc dot gnu.org> 2012-11-15 14:04:10 UTC --- The problem still is present, but when I asked Honza about the status on IRC, he seemed to say the work-around patch was the correct fix -- that this behavior is expected.
