// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s
// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output=html -o PR12421.html %s 2>&1 | FileCheck %s

// Test for PR12421
#include "diag-cross-file-boundaries.h"

int main(){
  f();
  return 0;
}

// CHECK: warning: Path diagnostic report is not generated.