And although it won't matter if you don't plan to distribute the patched GCC, be aware that the fix might be GPLv3+ and the 4.2 branch is GPLv2+.
And although it won't matter if you don't plan to distribute the patched GCC, be aware that the fix might be GPLv3+ and the 4.2 branch is GPLv2+.