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

Reply via email to