https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81073
--- Comment #9 from Jason Merrill <jason at gcc dot gnu.org> --- Created attachment 41711 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=41711&action=edit patch to error on progmem with dynamic init Does this do what you had in mind?
