| Ted Kremenek | 440f2ce | 2009-05-04 07:04:36 +0000 | [diff] [blame] | 1 | // RUN: clang-cc -checker-cfref -analyze -analyzer-store=region -verify %s && |
| 2 | // RUN: clang-cc -checker-cfref -analyze -analyzer-store=basic -verify %s | ||||
| Zhongxing Xu | 398d8f8 | 2009-05-04 08:52:47 +0000 | [diff] [blame^] | 3 | // XFAIL |
| Ted Kremenek | 440f2ce | 2009-05-04 07:04:36 +0000 | [diff] [blame] | 4 | void f() { |
| 5 | long x = 0; | ||||
| 6 | char *y = (char*) &x; | ||||
| 7 | char c = y[0] + y[1] + y[2]; // no-warning | ||||
| 8 | } | ||||