| int main() { | |
| char *x = malloc(10); | |
| memset(x, 0, 10); | |
| printf("poisoned: %d\n", __asan_address_is_poisoned(x)); | |
| free(x); | |
| printf("poisoned: %d\n", __asan_address_is_poisoned(x)); | |
| __asan_unpoison_memory_region(x, 10); | |
| printf("poisoned: %d\n", __asan_address_is_poisoned(x)); | |
| return 0; | |
| } | |