clang/test/Coverage/html-diagnostics.c

   1 // RUN: rm -rf %t
   2 // RUN: %clang_cc1 -analyze -analyzer-output=html -analyzer-checker=core -o %t %s
   3 // RUN: find %t -name "*.html" -exec cat "{}" ";" | FileCheck %s
   4 //
   5 // RUN: rm -rf %t
   6 // RUN: %clang_cc1 -analyze -analyzer-output=html-single-file -analyzer-checker=core -o %t %s
   7 // RUN: find %t -name "*.html" -exec cat "{}" ";" | FileCheck %s
   8
   9 // REQUIRES: staticanalyzer
  10
  11 // CHECK: <h3>Annotated Source Code</h3>
  12
  13 // Make sure it's not generated as a multi-file HTML output
  14 // CHECK-NOT: <h4 class=FileName>{{.*}}
  15
  16 // Without tweaking expr, the expr would hit to the line below
  17 // emitted to the output as comment.
  18 // CHECK: {{[D]ereference of null pointer}}
  19
  20 void f0(int x) {
  21   int *p = &x;
  22
  23   if (x > 10) {
  24     if (x == 22)
  25       p = 0;
  26   }
  27
  28   *p = 10;
  29 }
  30
  31