clang/test/Analysis/html-diag-singlefile.c

   1 // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s
   2 // RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output=html-single-file -o D30406.html %s 2>&1 | FileCheck %s
   3
   4 // Check that single file HTML output does not process multi-file diagnostics.
   5 // (This used to test for PR12421, before the introduction of the html-single-file format)
   6
   7 #include "html-diag-singlefile.h"
   8
   9 int main(void){
  10   f();
  11   return 0;
  12 }
  13
  14 // CHECK: warning: Path diagnostic report is not generated.