Continuation of bug 4539. The end user visible problem will be solved by building mi with O2. However, the actual GCC bug is still present, and may affect other parts of the product. We should track the upstream bug reports:
When the bug is fixed, we should remove the O2 workaround.
Upstream has asked for a test case in order to fix this. We should try to provide one.
Test case fixed and reported upstream. Now it's the waiting game.
We've decided to stop using -O3, so we have no interest in tracking this issue.