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 13void 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