| Daniel Dunbar | a572887 | 2009-12-15 20:14:24 +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 | } |