http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46861
--- Comment #2 from Jay <jay.krell at cornell dot edu> 2010-12-09 11:21:35 UTC --- Right, I already reported: no problem with 4.5.1. 4.2.4 is what Debian 5.0 has though. I'll stick with my workaround. I can try 4.3.x, 4.4.x if there is interest (i.e. in fixing them if they are broken; heck for that matter I should probably try stock 4.2.x, instead of Debian's)