Home | History | Annotate | Download | only in Coverage
      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 // REQUIRES: staticanalyzer
      6 
      7 // CHECK: <h3>Annotated Source Code</h3>
      8 
      9 // Without tweaking expr, the expr would hit to the line below
     10 // emitted to the output as comment.
     11 // CHECK: {{[D]ereference of null pointer}}
     12 
     13 void f0(int x) {
     14   int *p = &x;
     15 
     16   if (x > 10) {
     17     if (x == 22)
     18       p = 0;
     19   }
     20 
     21   *p = 10;
     22 }
     23 
     24 
     25