https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65343
--- Comment #6 from Marc Poulhiès <poulhies at adacore dot com> --- (In reply to Jonathan Wakely from comment #5) > Patch for stage 1: Thank you ! I can confirm this patch fixes the issue we have on vxworks.