| Ted Kremenek | cfec1db | 2008-12-13 19:27:01 +0000 | [diff] [blame] | 1 | // XFAIL |
| Zhongxing Xu | 20f0178 | 2008-11-24 02:19:49 +0000 | [diff] [blame] | 2 | // RUN: clang -checker-simple -analyzer-store-region -verify %s |
| 3 | |||||
| 4 | char f1() { | ||||
| 5 | char* s = "abcd"; | ||||
| Zhongxing Xu | 4b89e03 | 2008-11-24 05:16:01 +0000 | [diff] [blame] | 6 | return s[5]; // expected-warning{{Load or store into an out-of-bound memory position.}} |
| Zhongxing Xu | 20f0178 | 2008-11-24 02:19:49 +0000 | [diff] [blame] | 7 | } |