http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51796
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-01-09 16:52:57 UTC --- I guess the assert should be adjusted, from gcc_assert (old_size != args_size); to gcc_assert (old_size != args_size || find_reg_note (i3, REG_NORETURN, NULL)); because we add the REG_ARGS_SIZE notes now even to noreturn calls where there is no difference from previous args size. Can't test it right now though.