D_BRIEF
if (FORMAT_MISMATCHED(D_BRIEF))
diff_format = D_BRIEF;
if (diff_format == D_BRIEF)
if (*pflags & D_HEADER && diff_format != D_BRIEF) {
case D_BRIEF:
if (diff_format == D_BRIEF && ignore_pats == NULL &&