https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81797
--- Comment #50 from Chris Johns <chrisj at rtems dot org> --- I raised an Apple bug report last December, the number is 36163995. Nothing useful has happened. I will ping the bug and ask what is happening.