https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95420
--- Comment #2 from Iain Buclaw <ibuclaw at gdcproject dot org> --- With some confidence, I'm going to say that the intended cpu that should have been set is "generic-armv7-a", and not "armv7-a".
ibuclaw at gdcproject dot org Sun, 31 May 2020 13:08:02 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95420
--- Comment #2 from Iain Buclaw <ibuclaw at gdcproject dot org> --- With some confidence, I'm going to say that the intended cpu that should have been set is "generic-armv7-a", and not "armv7-a".