Argyrios Kyrtzidis | c4d2c90 | 2011-02-28 19:49:42 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-inline-call -analyzer-store region -verify %s |
Argyrios Kyrtzidis | b76fdf6 | 2011-02-19 01:08:37 +0000 | [diff] [blame] | 2 | // XFAIL: * |
Zhongxing Xu | 7ce351d | 2010-11-01 09:09:44 +0000 | [diff] [blame] | 3 | |
Zhongxing Xu | 40ab43b | 2010-04-20 05:48:57 +0000 | [diff] [blame] | 4 | struct A { |
| 5 | int x; |
| 6 | A(int a) { x = a; } |
Zhongxing Xu | 3230302 | 2010-11-24 13:48:50 +0000 | [diff] [blame] | 7 | int getx() const { return x; } |
Zhongxing Xu | 40ab43b | 2010-04-20 05:48:57 +0000 | [diff] [blame] | 8 | }; |
| 9 | |
| 10 | void f1() { |
| 11 | A x(3); |
| 12 | if (x.getx() == 3) { |
| 13 | int *p = 0; |
| 14 | *p = 3; // expected-warning{{Dereference of null pointer}} |
| 15 | } else { |
| 16 | int *p = 0; |
| 17 | *p = 3; // no-warning |
| 18 | } |
| 19 | } |
| 20 | |
Zhongxing Xu | 0e38d5d | 2010-11-25 03:18:57 +0000 | [diff] [blame] | 21 | void f2() { |
| 22 | const A &x = A(3); |
| 23 | if (x.getx() == 3) { |
| 24 | int *p = 0; |
| 25 | *p = 3; // expected-warning{{Dereference of null pointer}} |
| 26 | } else { |
| 27 | int *p = 0; |
| 28 | *p = 3; // no-warning |
| 29 | } |
| 30 | } |
| 31 | |
Argyrios Kyrtzidis | b76fdf6 | 2011-02-19 01:08:37 +0000 | [diff] [blame] | 32 | void f3() { |
| 33 | const A &x = (A)3; |
| 34 | if (x.getx() == 3) { |
| 35 | int *p = 0; |
| 36 | *p = 3; // expected-warning{{Dereference of null pointer}} |
| 37 | } else { |
| 38 | int *p = 0; |
| 39 | *p = 3; // no-warning |
| 40 | } |
| 41 | } |