| Ted Kremenek | e1cea75 | 2009-07-06 21:58:46 +0000 | [diff] [blame^] | 1 | // RUN: clang-cc -checker-cfref -analyze -analyzer-store=basic -verify %s && |
| 2 | // RUN: clang-cc -checker-cfref -analyze -analyzer-store=basic-new-cast -verify %s | ||||
| Ted Kremenek | 0b9ad89 | 2009-05-04 14:31:19 +0000 | [diff] [blame] | 3 | |
| Ted Kremenek | 20bd746 | 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 | } | ||||