| Argyrios Kyrtzidis | c4d2c90 | 2011-02-28 19:49:42 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-store region -cfg-add-initializers -verify %s |
| Zhongxing Xu | 9dc84c9 | 2010-11-16 07:52:17 +0000 | [diff] [blame] | 2 | |
| 3 | class A { | ||||
| 4 | int x; | ||||
| 5 | public: | ||||
| 6 | A(); | ||||
| 7 | }; | ||||
| 8 | |||||
| 9 | A::A() : x(0) { | ||||
| 10 | if (x != 0) { | ||||
| 11 | int *p = 0; | ||||
| 12 | *p = 0; // no-warning | ||||
| 13 | } | ||||
| 14 | } | ||||