blob: 16cf7ce603baddf2412e908dc9d4ffc03304c426 [file] [log] [blame]
Pavel Labath373b8072013-06-06 12:35:43 +00001// RUN: clang-check -analyze "%s" -- -c 2>&1 | FileCheck %s
2
3// CHECK: Dereference of null pointer
4int a(int *x) { if(x){} *x = 47; }