| Ted Kremenek | bebbeab | 2009-05-04 14:31:19 +0000 | [diff] [blame] | 1 | // RUN: clang-cc -checker-cfref -analyze -analyzer-store=region -verify %s |
| Zhongxing Xu | 4ecb942 | 2009-05-06 11:51:48 +0000 | [diff] [blame] | 2 | |
| Ted Kremenek | 440f2ce | 2009-05-04 07:04:36 +0000 | [diff] [blame] | 3 | void f() { |
| 4 | long x = 0; | ||||
| 5 | char *y = (char*) &x; | ||||
| 6 | char c = y[0] + y[1] + y[2]; // no-warning | ||||
| 7 | } | ||||