| Argyrios Kyrtzidis | c4d2c90 | 2011-02-28 19:49:42 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-store=flat -verify %s |
| Zhongxing Xu | 36d02e0 | 2010-02-08 05:40:07 +0000 | [diff] [blame] | 2 | |
| 3 | void f1() { | ||||
| 4 | int x; | ||||
| 5 | int *p; | ||||
| 6 | x = 1; | ||||
| 7 | p = 0; | ||||
| 8 | if (x != 1) | ||||
| 9 | *p = 1; // no-warning | ||||
| 10 | } | ||||