| Zhongxing Xu | ef74f4c | 2009-12-14 06:34:20 +0000 | [diff] [blame] | 1 | // RUN: clang -cc1 -analyze -analyzer-experimental-internal-checks -checker-cfref -analyzer-store=region -verify %s |
| Zhongxing Xu | 20f0178 | 2008-11-24 02:19:49 +0000 | [diff] [blame] | 2 | |
| 3 | char f1() { |
| 4 | char* s = "abcd"; |
| Ted Kremenek | f9e9684 | 2009-01-22 20:36:33 +0000 | [diff] [blame] | 5 | char c = s[4]; // no-warning |
| Zhongxing Xu | 58e689f | 2009-11-11 12:33:27 +0000 | [diff] [blame] | 6 | return s[5] + c; // expected-warning{{Access out-of-bound array element (buffer overflow)}} |
| Zhongxing Xu | 20f0178 | 2008-11-24 02:19:49 +0000 | [diff] [blame] | 7 | } |