https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71625
--- Comment #12 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Martin, the changes you wanted to do are desirable in any case.
The changes I've committed don't fix this, they are just preparation for
further changes that might help. But there still would be the suboptimal code
generation for the { 'a', 'b', 'c', '\0' }; style initialization.
