https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104442
--- Comment #9 from Marc Poulhiès <poulhies at adacore dot com> --- FWIW, I confirm that the vxworks issue is fixed in latest gcc-11 branch ! Thanks
poulhies at adacore dot com via Gcc-bugs Fri, 11 Feb 2022 00:16:34 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104442
--- Comment #9 from Marc Poulhiès <poulhies at adacore dot com> --- FWIW, I confirm that the vxworks issue is fixed in latest gcc-11 branch ! Thanks