Function write_failures 

pub fn write_failures<W: Write>(
    out: &mut W,
    failures: &BTreeMap<PathBuf, FailureReason>,
    findings_above: bool,
) -> Result<()>

The “N file(s) could not be analyzed” block.

findings_above decides the separating blank line - see the module doc. Each file is named through crate::text::path_label_of, as in finding_line.