https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66037
--- Comment #1 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- See <https://gcc.gnu.org/ml/gcc-patches/2010-10/msg00051.html> (whenever an options structure pointer is available, you should use that rather than global_*).
