1a89a35acf3004de3e39f1074b8620fb3c423d41fKostya Serebryany// Check that __asan_poison_memory_region works. 22d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: %clangxx_asan -O0 %s -o %t && not %run %t 2>&1 | FileCheck %s 3a89a35acf3004de3e39f1074b8620fb3c423d41fKostya Serebryany// 4a89a35acf3004de3e39f1074b8620fb3c423d41fKostya Serebryany// Check that we can disable it 52d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: env ASAN_OPTIONS=allow_user_poisoning=0 %run %t 6a89a35acf3004de3e39f1074b8620fb3c423d41fKostya Serebryany 7a89a35acf3004de3e39f1074b8620fb3c423d41fKostya Serebryany#include <stdlib.h> 8a89a35acf3004de3e39f1074b8620fb3c423d41fKostya Serebryany 9a89a35acf3004de3e39f1074b8620fb3c423d41fKostya Serebryanyextern "C" void __asan_poison_memory_region(void *, size_t); 10a89a35acf3004de3e39f1074b8620fb3c423d41fKostya Serebryany 11a89a35acf3004de3e39f1074b8620fb3c423d41fKostya Serebryanyint main(int argc, char **argv) { 12a89a35acf3004de3e39f1074b8620fb3c423d41fKostya Serebryany char *x = new char[16]; 132a3619ecbb56e828090b4c40ece28550f68c94deKostya Serebryany x[10] = 0; 14a89a35acf3004de3e39f1074b8620fb3c423d41fKostya Serebryany __asan_poison_memory_region(x, 16); 15a89a35acf3004de3e39f1074b8620fb3c423d41fKostya Serebryany int res = x[argc * 10]; // BOOOM 16a89a35acf3004de3e39f1074b8620fb3c423d41fKostya Serebryany // CHECK: ERROR: AddressSanitizer: use-after-poison 17a89a35acf3004de3e39f1074b8620fb3c423d41fKostya Serebryany // CHECK: main{{.*}}use-after-poison.cc:[[@LINE-2]] 18a89a35acf3004de3e39f1074b8620fb3c423d41fKostya Serebryany delete [] x; 19a89a35acf3004de3e39f1074b8620fb3c423d41fKostya Serebryany return res; 20a89a35acf3004de3e39f1074b8620fb3c423d41fKostya Serebryany} 21