1  /* { dg-do run } */
       2  /* { dg-options "-fno-builtin-malloc -fno-builtin-free" } */
       3  /* { dg-shouldfail "asan" } */
       4  
       5  #include <stdlib.h>
       6  int main() {
       7    char *x = (char*)malloc(10);
       8    free(x);
       9    return x[5];
      10  }
      11  
      12  /* { dg-output "heap-use-after-free.*(\n|\r\n|\r)" } */
      13  /* { dg-output "    #0 \[^\n\r]*(in _*(interceptor_|wrap_)free|\[(\])\[^\n\r]*(\n|\r\n|\r)" } */
      14  /* { dg-output "    #1 \[^\n\r]*(in _*main (\[^\n\r]*sanity-check-pure-c-1.c:8|\[^\n\r]*:0)|\[(\]).*(\n|\r\n|\r)" } */
      15  /* { dg-output "    #0 \[^\n\r]*(in _*(interceptor_|wrap_)malloc|\[(\])\[^\n\r]*(\n|\r\n|\r)" } */
      16  /* { dg-output "    #1 \[^\n\r]*(in _*main (\[^\n\r]*sanity-check-pure-c-1.c:7|\[^\n\r]*:0)|\[(\])\[^\n\r]*(\n|\r\n|\r)" } */