blob: ee0a6dc369caf4ef21a8596dbdff1bd5ce808936 [file] [log] [blame]
// RUN: clang-check -analyze "%s" -- -c 2>&1 | FileCheck %s
// CHECK: Dereference of null pointer
void a(int *x) { if(x){} *x = 47; }