https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88267
--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> --- (In reply to Richard Biener from comment #1) > But it's hidden, so I'm not sure we care. I noticed that using objdump -d where the tools assigns names to locations of which it knows name. > OTOH not sure why options.h is being pulled in. This should be investigated ;)