1*673dc3d4SNico Weber // RUN: %clang_cl_asan -Od %s -Fe%t
2*673dc3d4SNico Weber // RUN: %run %t | FileCheck %s
3*673dc3d4SNico Weber 
4*673dc3d4SNico Weber #include <stdio.h>
5*673dc3d4SNico Weber 
main()6*673dc3d4SNico Weber int main() {
7*673dc3d4SNico Weber   int subscript = 1;
8*673dc3d4SNico Weber   char buffer[42];
9*673dc3d4SNico Weber   buffer[subscript] = 42;
10*673dc3d4SNico Weber   printf("OK\n");
11*673dc3d4SNico Weber // CHECK: OK
12*673dc3d4SNico Weber }
13