// RUN: clang -checker-simple -analyzer-store-region -verify %s

char f1() {
  char* s = "abcd";
  return s[4]; // expected-warning{{Load or store into an out-of-bound memory position.}}
}

Add test case for out-of-bound memory access checking.
Add test case for out-of-bound memory access checking.

git-svn-id: ffe668792ed300d6c2daa1f6eba2e0aa28d7ec6c@59931 91177308-0d34-0410-b5e6-96231b3b80d8
