outofbound.c revision cfec1db63f9d4a1cda3f970d2cebeba8333a69ea
1// XFAIL
2// RUN: clang -checker-simple -analyzer-store-region -verify %s
3
4char f1() {
5 char* s = "abcd";
6 return s[5]; // expected-warning{{Load or store into an out-of-bound memory position.}}
7}
8