| 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 | ||||
| 3 | |||||
| 4 | void f() { | ||||
| 5 | long x = 0; | ||||
| 6 | char *y = (char*) &x; | ||||
| 7 | char c = y[0] + y[1] + y[2]; // no-warning | ||||
| 8 | } | ||||