1 // RUN: clang-check -analyze "%s" -- -c 2>&1 | FileCheck %s 2 3 // CHECK: Dereference of null pointer 4 int a(int *x) { if(x){} *x = 47; } 5