1 //CHECK: AddressSanitizer:Global-buffer-overflow 2 3 int array[100]; 4 main(int argc,char * argv[])5 int main(int argc, char *argv[]) { 6 return array[100]; 7 }