After more research, it looks like this is the issue: https://github.com/micropython/micropython/issues/6053
So probably not a bug in GCC.
After more research, it looks like this is the issue: https:/ /github. com/micropython /micropython/ issues/ 6053
So probably not a bug in GCC.