f()1 static void f() {
2   int *p = 0;
3   *p = 1;       // expected-warning{{Dereference of null pointer}}
4 }
5