http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56098
--- Comment #7 from werner at almesberger dot net 2013-01-26 02:09:33 UTC --- I'm happy to confirm that trunk (for x86-64) now passes all variations of this theme I tried with flying colors. Thanks again !