https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88267
Martin Liška <marxin at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2019-06-06
Ever confirmed|0 |1
--- Comment #3 from Martin Liška <marxin at gcc dot gnu.org> ---
(In reply to Martin Liška from comment #2)
> (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 ;)
It's being pulled due to:
$ /bin/sh /home/marxin/Programming/gcc/gcc/mkconfig.sh tm.h
where tm.h includes
# include "options.h"
It's probably low priority issue..
