1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
// RUN: rm -rf %t // RUN: %clang_cc1 -analyze -analyzer-output=html -analyzer-check-objc-mem -o %t %s // RUN: cat %t/*.html | FileCheck %s // CHECK: <h3>Annotated Source Code</h3> // CHECK: Dereference of null pointer void f0(int x) { int *p = &x; if (x > 10) { if (x == 22) p = 0; } *p = 10; }