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.
