https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65945
--- Comment #1 from npl at chello dot at --- Created attachment 35430 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35430&action=edit disassembly showing the issue The issue is the line dc: e50b3019 str r3, [fp, #-25] ; 0xffffffe7