| Ted Kremenek | 6c07bdb | 2009-06-26 00:05:51 +0000 | [diff] [blame] | 1 | // RUN: clang-cc -analyze -checker-cfref -analyzer-store=region -verify %s |
| Daniel Dunbar | d739021 | 2009-11-03 07:25:45 +0000 | [diff] [blame] | 2 | // XFAIL: * |
| Zhongxing Xu | 20f0178 | 2008-11-24 02:19:49 +0000 | [diff] [blame] | 3 | |
| 4 | char f1() { |
| 5 | char* s = "abcd"; |
| Ted Kremenek | f9e9684 | 2009-01-22 20:36:33 +0000 | [diff] [blame] | 6 | char c = s[4]; // no-warning |
| 7 | return s[5] + c; // expected-warning{{Load or store into an out-of-bound memory position.}} |
| Zhongxing Xu | 20f0178 | 2008-11-24 02:19:49 +0000 | [diff] [blame] | 8 | } |