1  /* Verify that we emit sane paths for state machine errors.  */
       2  
       3  #include <stdlib.h>
       4  
       5  void test_2 (void *ptr)
       6  {
       7    free (ptr); /* { dg-line first_free } */
       8    free (ptr); /* { dg-line second_free } */
       9  
      10    /* { dg-warning "double-'free' of 'ptr'"  "warning" { target *-*-* } second_free } */
      11    /* { dg-message "\\(1\\) first 'free' here" "event 1" { target *-*-* } first_free } */
      12    /* { dg-message "\\(2\\) second 'free' here; first 'free' was at \\(1\\)" "event 2" { target *-*-* } second_free } */
      13  }