On 2/26/20 2:02 PM, Alexey Neyman wrote:
Patch ping.
On 2/19/20 3:30 PM, Alexey Neyman wrote:
Hi all,
Attached is a patch adjusted per discussion in
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93751
- The manual is corrected to reflect that DIEs for external variables
are not generated when using DWARF
- A new option is introduced that implements the behavior that was
described in the manual (and is what other debugging formats do).
Don't we want to fix the DWARF behavior to match the documentation?
Jason