1  /* { dg-do run } */
       2  /* { dg-require-effective-target hwaddress_exec } */
       3  /* { dg-shouldfail "hwasan" } */
       4  
       5  int __attribute__ ((noinline))
       6  check_vararray (int num)
       7  {
       8    int var_array[num];
       9    int other_array[10];
      10    return var_array[12];
      11  }
      12  
      13  int __attribute__ ((noinline))
      14  main ()
      15  {
      16    return check_vararray (3);
      17  }
      18  
      19  /* { dg-output "HWAddressSanitizer: tag-mismatch on address 0x\[0-9a-f\]*.*" } */
      20  /* { dg-output "READ of size 4 at 0x\[0-9a-f\]* tags: \[\[:xdigit:\]\]\[\[:xdigit:\]\]/00 \\(ptr/mem\\) in thread T0.*" } */
      21  /* { dg-output "Address 0x\[0-9a-f\]* is located in stack of thread T0.*" } */
      22  /* { dg-output "SUMMARY: HWAddressSanitizer: tag-mismatch \[^\n\]*.*" } */