Kitkat  |  4.4.4_r1
C++程序  |  5行  |  134 B 

// RUN: clang-check -analyze "%s" -- -c 2>&1 | FileCheck %s

// CHECK: Dereference of null pointer
int a(int *x) { if(x){} *x = 47; }