| #include <stdlib.h> | |
| int main(void) | |
| { | |
| void* x = malloc(10); | |
| int *x4; | |
| short *x2; | |
| char *x1; | |
| int y4; | |
| short y2; | |
| char y1; | |
| x4 = x-4; | |
| x2 = x-4; | |
| x1 = x-1; | |
| // Invalid reads and writes of sizes 4, 2, 1 | |
| y4 = *x4; | |
| *x4 = y4; | |
| y2 = *x2; | |
| *x2 = y2; | |
| y1 = *x1; | |
| *x1 = y1; | |
| return 0; | |
| } |