http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50570
--- Comment #10 from Martin Steghöfer <msteghofer at cistib dot upf.edu> 2011-10-10 09:43:30 UTC --- Do you want me to commit a new bug report for my issue then or are you going to fix both issues using this one (although they need separate fixes)?