Anthony Foiani <tkil@xxxxxxxxx> writes: > Should I file another PR? Or just resurrect this one: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12258 Exactly this issue, from 2004. (Although the last comment was from 2010, looks out of place?) Anyway. Let me know if you think I should use that PR or start a new one. Thanks! Best regards, Anthony Foiani