> It is necessary in the first place because #APP is turned on through a
> strange sectionname in
>
> static const char <variable> __attribute__ ((section ("<sectionname>")));
>
> for which gcc does not emit #NO_APP automatically by itself.
That is clearly a GCC bug. Has it been fixed in later GCC versions?