#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include <sanitizer/asan_interface.h>
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;
}