outofbound.c revision 20f0178a232029bea7f34adecb6e5bdd6fada483
120f0178a232029bea7f34adecb6e5bdd6fada483Zhongxing Xu// RUN: clang -checker-simple -analyzer-store-region -verify %s 220f0178a232029bea7f34adecb6e5bdd6fada483Zhongxing Xu 320f0178a232029bea7f34adecb6e5bdd6fada483Zhongxing Xuchar f1() { 420f0178a232029bea7f34adecb6e5bdd6fada483Zhongxing Xu char* s = "abcd"; 520f0178a232029bea7f34adecb6e5bdd6fada483Zhongxing Xu return s[4]; // expected-warning{{Load or store into an out-of-bound memory position.}} 620f0178a232029bea7f34adecb6e5bdd6fada483Zhongxing Xu} 7