Closed willwray closed 1 year ago
That's a gcc bug — https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109730.
Thank you for reporting this issue, and thanks @tocic for reporting the bug back to GCC. Looks like a fix has been found and will be released in GCC 12.4, 13.2, 14.0. I assume GCC <= 11 isn't affected. Closing as "not our bug".
My wrapDB snitch PR CI is all passing apart from MSYS2-UCRT64
It may be some environment or resource issue with that particular CI build.
Opening as an issue here in case it smokes out a problem in snitch code.