| // RUN: %clang_cc1 -analyze -inline-call -analyzer-store region -analyze-function f2 -verify %s | |
| int f1() { | |
| int y = 1; | |
| y++; | |
| return y; | |
| } | |
| void f2() { | |
| int x = 1; | |
| x = f1(); | |
| if (x == 1) { | |
| int *p = 0; | |
| *p = 3; // no-warning | |
| } | |
| if (x == 2) { | |
| int *p = 0; | |
| *p = 3; // expected-warning{{Dereference of null pointer loaded from variable}} | |
| } | |
| } |