http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47714
--- Comment #9 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-03-09 08:43:32 UTC --- BTW, if you adjust the testcase (at least not to use explicit DImode type), I'd say this patch is obvious, thunks never take addresses of its parameters and whether the original method takes those addresses is irrelevant to thunks. You could certainly handle TREE_ADDRESSABLE in assemble_thunk by copying siuch arguments into a temporary, but that would be good just to shut up verification.