http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53524
--- Comment #13 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-05-30 17:55:07 UTC --- Thanks Manuel and Lawrence. If I understand correctly what L said, the simpler and more urgent thing to do is making the warning code a bit smarter, I'll try to do that.