1int main() {
2 int data[4];
3 int result = *(int *)(((char *)&data[0]) + 2); // align line
4
5 int *p = data + 5; // Index 5 out of bounds for type 'int [4]'
6 *p = data + 5;
7 *p = data + 5;
8 *p = data + 5;
9 *p = data + 5;
10 *p = data + 5;
11 *p = data + 5;
12 *p = data + 5;
13 *p = data + 5;
14
15 return 0;
16}
17

source code of lldb/test/API/functionalities/ubsan/basic/main.c