166b4aafaSFlorian Mayer // This is the ASAN test of the same name ported to HWAsan. 266b4aafaSFlorian Mayer 3*6cc9244bSFlorian Mayer // RUN: %clangxx_hwasan -O1 %s -o %t && \ 4f3f287f0SFlorian Mayer // RUN: not %run %t 2>&1 | FileCheck %s 566b4aafaSFlorian Mayer 6847fa84bSAlexey Baturo // REQUIRES: aarch64-target-arch || riscv64-target-arch 7f3f287f0SFlorian Mayer 8f3f287f0SFlorian Mayer volatile int *p; 9f3f287f0SFlorian Mayer main()10f3f287f0SFlorian Mayerint main() { 11f3f287f0SFlorian Mayer // Variable goes in and out of scope. 12f3f287f0SFlorian Mayer for (int i = 0; i < 3; ++i) { 13f3f287f0SFlorian Mayer int x[3] = {i, i, i}; 14f3f287f0SFlorian Mayer p = x + i; 15f3f287f0SFlorian Mayer } 16f3f287f0SFlorian Mayer return *p; // BOOM 1766b4aafaSFlorian Mayer // CHECK: ERROR: HWAddressSanitizer: tag-mismatch 18f3f287f0SFlorian Mayer // CHECK: #0 0x{{.*}} in main {{.*}}use-after-scope-loop-bug.cpp:[[@LINE-2]] 1966b4aafaSFlorian Mayer // CHECK: Cause: stack tag-mismatch 20f3f287f0SFlorian Mayer } 21