https://gcc.gnu.org/bugzilla/show_bug.cgi?id=128607

--- Comment #1 from Peter Damianov <peter0x44 at disroot dot org> ---
      default:
        if (cl_options[options[i].opt_index].flags
            & CL_NO_DWARF_RECORD)

Oh. There's already a NoDWARFRecord flag. So probably they ought to have that
toggled on them.

Reply via email to