It very much might be worth asking GCC people about this, but I personally don't have the time and interest in doing so, since the code does work fine and even if I didn't catch the correct fix, there is a unit test in place now which will catch outstanding issues if they arise.