Debuggers will try to demangle DW_AT_linkage_name names. However, rustc (1.33) is emitting non-mangled names in DW_AT_linkage_name attributes for #[no_mangle] symbols. I think you can just omit DW_AT_linkage_name completely for these symbols, which will also save a tiny bit of space.
Debuggers will try to demangle
DW_AT_linkage_namenames. However, rustc (1.33) is emitting non-mangled names inDW_AT_linkage_nameattributes for#[no_mangle]symbols. I think you can just omitDW_AT_linkage_namecompletely for these symbols, which will also save a tiny bit of space.