https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93751
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2020-02-16
CC| |ebotcazou at gcc dot gnu.org
Ever confirmed|0 |1
--- Comment #4 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> Well, why not fix it then? :) It should be a fairly low risk change, since
> it does not remove any DIEs - I think it is quite unlikely that any user
> depends on the *absence* of DIEs. And it aligns DWARF with stabs and other
> formats, and with the manual.
>
> Do you see any problem with the proposed patch?
Yes, it increases the size of the executable, which is generally a concern for
people using -g1 over -g. I'd rather see the manual be fixed instead.
